On the structure of inductive reasoning: Circular and tree-shaped proofs in the mu-calculus (2003)

by Christoph Sprenger, Mads Dam
Venue:In Proc. FOSSACS’03, Springer LNCS