Controlled Natural Language Can Replace First-Order Logic.

Norbert E. Fuchs Uta Schwertel Sunna Torge Controlled Natural Language Can Replace First-Order Logic. 295-298 1999 ASE http://computer.org/proceedings/ase/0415/04150295abs.htm db/conf/kbse/ase1999.html#FuchsST99