"Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs."

Louise A. Dennis, Alan Bundy, Ian Green (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics