Program Equivalence by Circular Reasoning.

Dorel Lucanu, Vlad Rusu

Browse the full IFM paper archive.