"Decidable and Undecidable Fragments of First-Order Branching Temporal Logics."

Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics