@inproceedings{Huynh_1982,
    doi = {10.1109/sfcs.1982.65},
    url = {https://doi.org/10.1109%2Fsfcs.1982.65},
    year = {1982},
    month = {nov},
    publisher = {{IEEE}},
    author = {Thiet-Dung Huynh},
    title = {Deciding the inequivalence of context-free grammars with 1-letter terminal alphabet is S2p-complete},
    booktitle = {23rd Annual Symposium on Foundations of Computer Science (sfcs 1982)}
}

@inproceedings{Huynh_1982, doi = {10.1109/sfcs.1982.65}, url = {https://doi.org/10.1109%2Fsfcs.1982.65}, year = {1982}, month = {nov}, publisher = {{IEEE}}, author = {Thiet-Dung Huynh}, title = {Deciding the inequivalence of context-free grammars with 1-letter terminal alphabet is S2p-complete}, booktitle = {23rd Annual Symposium on Foundations of Computer Science (sfcs 1982)} }