The Complexity of Equivalence and Containment for Free Single Variable Program Schemes.

Steven Fortune, John E. Hopcroft, Erik Meineche Schmidt

Browse the full ICALP paper archive.