The Complexity of Equivalence and Containment for Free Single Variable Program Schemes (1978)

by L Fortune, J Hopcroft, E Schmidt
Venue:of LNCS