The Relative Completeness of a Version of CTL*. - Hidetomo Machi; Kohji Tomita; Chiharu Hosono (CATS, 2005)