Decidable fragment of first-order temporal logics. (2000)

by I M Hodkinson, F Wolter, M Zakharyaschev
Venue:Ann. Pure Appl. Logic,