Fahiem Bacchus Josh D. Tenenberg Johannes A. G. M. Koomen A Non-Reified Temporal Logic. 87-108 1991 52 Artif. Intell. 1 db/journals/ai/ai52.html#BacchusTK91