@inproceedings{KV00b, author = "O. Kupferman and M.Y. Vardi", title = "$\mu$-calculus Synthesis", booktitle = "Proc. 25th International Symposium on Mathematical Foundations of Computer Science", series = "Lecture Notes in Computer Science", volume = "1893", pages = "497--507", publisher = "Springer-Verlag", year = "2000" }