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]
Abstract is missing.