Hermann K.-G. Walter
Structural Equivalence of Context-Free Grammar Forms is Decidable
ICALP, 1977.
@inproceedings{ICALP-1977-Walter, author = "Hermann K.-G. Walter", booktitle = "{Proceedings of the Fourth Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-08342-1_42", isbn = "3-540-08342-1", pages = "539--553", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Structural Equivalence of Context-Free Grammar Forms is Decidable}", volume = 52, year = 1977, }