@inproceedings{7d28a6e5e140422386fa146e072a4b34,
title = "The Hybrid mu-Calculus",
author = "U Sattler and Vardi, \{M Y\}",
year = "2001",
language = "English",
series = "Lecture Notes in Artificial Intelligence",
publisher = "Springer Nature",
number = "2083",
pages = "76--91",
editor = "R Gor{\'e} and A Leitsch and T Nipkow",
booktitle = "Automated Reasoning",
address = "United States",
note = "1st International Joint Conference on Automated Reasoning, IJCAR 2001 ; Conference date: 01-07-2001",
}