A Unification Algorithm for GP 2. - Ivaylo Hristakiev; Detlef Plump (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem. - Ivaylo Hristakiev; Detlef Plump (STAF Workshops, 2016)

Towards Critical Pair Analysis for the Graph Programming Language GP 2. - Ivaylo Hristakiev; Detlef Plump (WADT, 2016)

Checking Graph Programs for Confluence. - Ivaylo Hristakiev; Detlef Plump (STAF Workshops, 2017)

A Unification Algorithm for GP 2 (Long Version). - Ivaylo Hristakiev; Detlef Plump (CoRR, 2017)

Confluence analysis for a graph programming language. - Ivaylo Hristakiev (2018)