Klaus Samelson, Friedrich L. Bauer. Sequentielle Formelübersetzung (Sequential Formula Translation). it - Information Technology, 50(2):137-143, 2008.
@article{SamelsonB08,
title = {Sequentielle Formelübersetzung (Sequential Formula Translation)},
author = {Klaus Samelson and Friedrich L. Bauer},
year = {2008},
tags = {translation},
researchr = {https://researchr.org/publication/SamelsonB08},
cites = {0},
citedby = {0},
journal = {it - Information Technology},
volume = {50},
number = {2},
pages = {137-143},
}