## Giacomo Lenzi

*A Hierarchy Theorem for the μ-Calculus*

ICALP, 1996.

@inproceedings{ICALP-1996-Lenzi, author = "Giacomo Lenzi", booktitle = "{Proceedings of the 23rd International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-61440-0_119", isbn = "3-540-61440-0", pages = "87--97", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Hierarchy Theorem for the μ-Calculus}", volume = 1099, year = 1996, }