On the Expressive Power of CTL.

Faron Moller, Alexander Moshe Rabinovich

Browse the full LICS paper archive.