Steven Fortune, John E. Hopcroft, Erik Meineche Schmidt
The Complexity of Equivalence and Containment for Free Single Variable Program Schemes
ICALP, 1978.
@inproceedings{ICALP-1978-FortuneHS, author = "Steven Fortune and John E. Hopcroft and Erik Meineche Schmidt", booktitle = "{Proceedings of the Fifth Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-08860-1_17", isbn = "3-540-08860-1", pages = "227--240", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{The Complexity of Equivalence and Containment for Free Single Variable Program Schemes}", volume = 62, year = 1978, }