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
To the main CS technical reports page