"Linear vs. Branching Time: A Complexity-Theoretic Perspective."

Moshe Y. Vardi (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics