Fahiem Bacchus Josh D. Tenenberg Johannes A. G. M. Koomen A Non-Reified Temporal Logic. 2-10 1989 KR db/conf/kr/kr89.html#BacchusTK89