Building a temporal logic for natural language understanding with the HOL-system (1991)

by P Hasle
Venue:Natural Language Understanding and Logic Programming III