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]
@inproceedings{MachiTH05,
title = {The Relative Completeness of a Version of CTL*},
author = {Hidetomo Machi and Kohji Tomita and Chiharu Hosono},
year = {2005},
url = {http://crpit.com/confpapers/CRPITV41Machi.pdf},
tags = {completeness},
researchr = {https://researchr.org/publication/MachiTH05},
cites = {0},
citedby = {0},
pages = {81-85},
booktitle = {Theory of Computing 2005, Eleventh CATS 2005, Computing: The Australasian Theory Symposium, Newcastle, NSW, Australia, January/February 2005},
editor = {Mike D. Atkinson and Frank K. H. A. Dehne},
volume = {41},
series = {CRPIT},
publisher = {Australian Computer Society},
isbn = {1-920682-23-6},
}