On Non-Local Propositional and Local One-Variable Quantified CTL*.

Sebastian Bauer Ian M. Hodkinson Frank Wolter Michael Zakharyaschev On Non-Local Propositional and Local One-Variable Quantified CTL*. 2-9 2002 TIME http://computer.org/proceedings/time/1474/14740002abs.htm db/conf/time/time2002.html#BauerHWZ02