On Non-Local Propositional and Local One-Variable Quantified CTL*. - Sebastian Bauer 004; Ian M. Hodkinson; Frank Wolter; Michael Zakharyaschev (TIME, 2002)

On Non-local Propositional and Weak Monodic Quantified CTL. - Sebastian Bauer 004; Ian M. Hodkinson; Frank Wolter; Michael Zakharyaschev (J. Log. Comput., 2004)