Per F. V. Hasle. Building a Temporal Logic for Natural Language Understanding with the HOL-system. In Natural Language Understanding and Logic Programming Workshop. pages 91-109, 1991.
No references recorded for this publication.
No citations of this publication recorded.