Justifying induction on modal mu-formulae. Krähenbühl, J. Master's thesis, Universität Bern, Institut für Informatik und angewandte Mathematik, 2009.
Justifying induction on modal mu-formulae [pdf]Paper  bibtex   

Downloads: 0