John Dinsmore Logic Based Processing of Semantically Complex Natural Language Discourse. 39-68 1991 9 New Generation Comput. 1 db/journals/ngc/ngc9.html#Dinsmore91