"An Axiomatization of a First-order Branching Time Temporal Logic."

Dragan Doder, Zoran Ognjanovic, Zoran Markovic (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics