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

by C Sprenger, M Dam
Venue:In Proc. FOSSACS’03, Springer LNCS