A Hypothetical Reasoning-based Framework for NL Processing. - Verónica Dahl; Andrew Fall; Stephen Rochefort; Paul Tarau (ICTAI, 1996)

LogiMOO: A Multi-User Virtual World with Agents and Natural Language Programming. - Paul Tarau; Verónica Dahl; Stephen Rochefort; Koenraad De Bosschere (CHI Extended Abstracts, 1997)

An Exercise in Using Constructive Proof Systems to Address Feature Interactions in Telephony. - Stephen Rochefort; H. James Hoover (FIW, 1997)

On-Une Resource Discovery Using Natural Language. - Osma R. Zaine; Andrew Fall; Stephen Rochefort; Verónica Dahl; Paul Tarau (RIAO, 1997)

Assumption Grammars for Knowledge Based Systems. - Verónica Dahl; Pablo Accuosto; Stephen Rochefort; Marius Scurtescu (Informatica (Slovenia), 1998)

A Spanish Interface To LogiMoo: Towards Multilingual Virtual Worlds. - Verónica Dahl; Stephen Rochefort; Marius Scurtescu; Paul Tarau (Informatica (Slovenia), 1999)

LogiMOO: An Extensible Multi-user Virtual World with Natural Language Control. - Paul Tarau; Koenraad De Bosschere; Verónica Dahl; Stephen Rochefort (J. Log. Program., 1999)