## Robert S. Streett, E. Allen Emerson

*The Propositional μ-Calculus is Elementary*

ICALP, 1984.

@inproceedings{ICALP-1984-StreettE, author = "Robert S. Streett and E. Allen Emerson", booktitle = "{Proceedings of the 11th Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-13345-3_43", isbn = "3-540-13345-3", pages = "465--472", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{The Propositional μ-Calculus is Elementary}", volume = 172, year = 1984, }