Christoph Sprenger, Mads Dam. A note on global induction in a mu-calculus with explicit approximations. In Zoltán Ésik, Anna Ingólfsdóttir, editors, Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings. Volume NS-02-2 of BRICS Notes Series, pages 22-24, University of Aarhus, 2002.
Abstract is missing.