Iterative Circular Coinduction for CoCASL (2005)

by Daniel Hausmann, Till Mossakowski
Venue:in Isabelle/HOL, Proc. FASE 2005, Springer LNCS 3442