Towards Mechanised Proofs in Double-Pushout Graph Transformation. - Robert Söldner; Detlef Plump (GCM@STAF, 2022)

Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem. - Robert Söldner; Detlef Plump (ICGT, 2023)

Formalising the Double-Pushout Approach to Graph Transformation. - Robert Söldner; Detlef Plump (Log. Methods Comput. Sci., 2024)