Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs.

Louise A. Dennis, Alan Bundy, Ian Green

Browse the full CADE paper archive.