Kenneth M. Kahn G. Anthony Gorry Mechanizing Temporal Knowledge. 87-108 1977 9 Artif. Intell. 1 db/journals/ai/ai9.html#KahnG77