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,
}











