DOI,IST REx ID,Title of publication
10.1016/j.tcs.2005.11.015,4451,On the universal and existential fragments of the mu-calculus