A non-reified temporal logic for AI (1991)

by F Bacchus, J Tenenberg, J Koomen
Venue:Artificial Intelligence