The Deducibility Problem in Propositional Dynamic Logic. - Albert R. Meyer; Robert S. Streett; Grazyna Mirkowska (ICALP, 1981)

Propositional Dynamic Logic of Looping and Converse - Robert S. Streett (STOC, 1981)

Propositional Dynamic Logic of Looping and Converse Is Elementarily Decidable - Robert S. Streett (Inf. Control., 1982)

The Propositional Mu-Calculus is Elementary. - Robert S. Streett; E. Allen Emerson (ICALP, 1984)

Fixpoints and Program Looping: Reductions form the Propositional MU-Calculus into Propositional Dynamic Logics of Looping. - Robert S. Streett (Logic of Programs, 1985)

An Automata Theoretic Decision Procedure for the Propositional Mu-Calculus - Robert S. Streett; E. Allen Emerson (Inf. Comput., 1989)