1996 LCL Technical Reports

• LCL9601 Shuly Wintner and Nissim Francez: Off-line Parsability and the Well-foundedness of Subsumption
• LCL9602 R. Nelken and N. Francez: Translating Natural Language System Specifications into Temporal Logic via DRT