@inproceedings{instance1580,
	 title = {{Controlled Natural Language Can Replace First-Order Logic}},
	 author = {Norbert E. Fuchs},
	 year = {1999},
	 booktitle = {Proceedings 14th IEEE International Conference on Automated Software Engineering, ASE'99},
	 Date-Added = {2026-08-02 22:38:36},
	 Date-Modified = {2026-08-02 22:38:36}
}