Norbert E. Fuchs, Uta Schwertel, Sunna Torge. Controlled Natural Language Can Replace First-Order Logic. In ASE. pages 295-298, 1999. [doi]
@inproceedings{FuchsST99,
title = {Controlled Natural Language Can Replace First-Order Logic},
author = {Norbert E. Fuchs and Uta Schwertel and Sunna Torge},
year = {1999},
url = {http://computer.org/proceedings/ase/0415/04150295abs.htm},
tags = {e-science, logic},
researchr = {https://researchr.org/publication/FuchsST99},
cites = {0},
citedby = {0},
pages = {295-298},
booktitle = {ASE},
}