On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus (2003)

by Christoph Sprenger, Mads Dam
Venue:IN PROCEEDINGS OF FOSSACS 2003