Frank Drewes, Berthold Hoffmann, Mark Minas. Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement. Journal of Logic and Algebraic Programming, 104:303-341, 2019. [doi]
@article{DrewesHM19, title = {Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement}, author = {Frank Drewes and Berthold Hoffmann and Mark Minas}, year = {2019}, doi = {10.1016/j.jlamp.2018.12.006}, url = {https://doi.org/10.1016/j.jlamp.2018.12.006}, researchr = {https://researchr.org/publication/DrewesHM19}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {104}, pages = {303-341}, }