Equivalence of Programs with Structured Variables

Alfred V. Aho, Jeffrey D. Ullman

Browse the full FOCS paper archive.