Counting on CTL:::*:::: on the expressive power of monadic path logic

Faron Moller, Alexander Moshe Rabinovich. Counting on CTL:::*:::: on the expressive power of monadic path logic. Inf. Comput., 184(1):147-159, 2003. [doi]

Abstract

Abstract is missing.