Axiomatic Equivalence of Programs with Structured Variables

Christoph M. Hoffmann, Lawrence H. Landweber

Browse the full FOCS paper archive.