Counting on CTL*: on the expressive power of monadic path logic - Faron Moller (Information and Computation, 2003)