@inproceedings{publication-3395,
	author={Fuchs, Norbert E. and Schwertel, Uta and Torge, Sunna},
	booktitle={Proceedings 14th IEEE International Conference on Automated Software Engineering, ASE'99},
	title={Controlled Natural Language Can Replace First-Order Logic},
	year=1999,
}