Kenneth M. Kahn, G. Anthony Gorry. Mechanizing Temporal Knowledge. Artificial Intelligence, 9(1):87-108, 1977.
@article{KahnG77,
title = {Mechanizing Temporal Knowledge},
author = {Kenneth M. Kahn and G. Anthony Gorry},
year = {1977},
researchr = {https://researchr.org/publication/KahnG77},
cites = {0},
citedby = {0},
journal = {Artificial Intelligence},
volume = {9},
number = {1},
pages = {87-108},
}