Mechanizing temporal knowledge - Kahn, KM; Gorry, GA (Artif Intell, 1977)