Building a Temporal Logic for Natural Language Understanding with the HOL-system

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.

Possibly Related Publications

The following publications are possibly variants of this publication: