Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Deciding Full Branching Time Logic by Program Transformation. In: Logic-Based Program Synthesis and Transformation. Lecture Notes in Computer Science (6037). Springer, pp. 5-21. ISBN 10.1007/978-3-642-12592-8_2 (2010)