Norbert E. Fuchs. First-Order Reasoning for Attempto Controlled English. In Michael Rosner, Norbert E. Fuchs, editors, Controlled Natural Language - Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers. Volume 7175 of Lecture Notes in Computer Science, pages 73-94, Springer, 2010. [doi]
Abstract is missing.