@inproceedings{publication-3393, author={Fuchs, Norbert E. and Schwertel, Uta and Schwitter, Rolf}, booktitle={Eighth International Workshop on Logic-Based Program Synthesis and Transformation LOPSTR'98}, publisher={Springer}, series={Lecture Notes in Computer Science}, title={Attempto Controlled English - Not Just Another Logic Specification Language}, year=1999, }