Moller, F., & Rabinovich, A. (2003). Counting on CTL*: On the expressive power of monadic path logic. Information and Computation, 184(1), p. 147. doi:10.1016/S0890-5401(03)00104-4

Moller, Faron, and Alexander Rabinovich. "Counting On CTL*: On the Expressive Power of Monadic Path Logic." Information and Computation 184, no. 1 (2003): 147.

Moller, Faron, and Alexander Rabinovich. "Counting On CTL*: On the Expressive Power of Monadic Path Logic." Information and Computation 184.1 (2003): 147.