Hidetomo Machi, Kohji Tomita, Chiharu Hosono. The Relative Completeness of a Version of CTL*. In Mike D. Atkinson, Frank K. H. A. Dehne, editors, Theory of Computing 2005, Eleventh CATS 2005, Computing: The Australasian Theory Symposium, Newcastle, NSW, Australia, January/February 2005. Volume 41 of CRPIT, pages 81-85, Australian Computer Society, 2005. [doi]