DOI,IST REx ID,Title of publication
10.1007/3-540-36577-X_5,4466,On the universal and existential fragments of the mu-calculus