On the structure of inductive reasoning: Circular and tree-shaped proofs in the µ-calculus. Pages 425–440 of (2015)

by A Abel, B Pientka Sprenger, Christoph, Mads Dam
Venue:Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003