Monodic fragments of first-order temporal logics: 2000–2001 A.D (2001)

by I Hodkinson, F Wolter, M Zakharyaschev
Venue:In Logic for Programming, Artificial Intelligence and Reasoning, number 2250 in LNAI