Esko Ukkonen, Eljas Soisalon-Soininen
LALR(k) Testing is PSPACE-Complete
STOC, 1981.
@inproceedings{STOC-1981-UkkonenS, author = "Esko Ukkonen and Eljas Soisalon-Soininen", booktitle = "{Proceedings of the 13th Annual ACM Symposium on Theory of Computing}", doi = "10.1145/800076.802473", pages = "202--206", publisher = "{ACM}", title = "{LALR(k) Testing is PSPACE-Complete}", year = 1981, }