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.
@inproceedings{Hasle91,
title = {Building a Temporal Logic for Natural Language Understanding with the HOL-system},
author = {Per F. V. Hasle},
year = {1991},
tags = {logic},
researchr = {https://researchr.org/publication/Hasle91},
cites = {0},
citedby = {0},
pages = {91-109},
booktitle = {Natural Language Understanding and Logic Programming Workshop},
}