Conference paperA logical version of functional grammarWilliam C. Rounds, Alexis Manaster-RamerACL 1987