Attempto Controlled English - Not Just Another Logic Specification Language.

Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter

Browse the full LOPSTR paper archive.