@inproceedings{fd30366824f34e41934f7fc92026f657,
title = "Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem",
author = "Robert Soeldner and Detlef Plump",
note = "{\textcopyright} 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG. This is an author-produced version of the published paper. Uploaded in accordance with the University{\textquoteright}s Research Publications and Open Access policy.",
year = "2023",
month = jul,
day = "12",
doi = "10.1007/978-3-031-36709-0_7",
language = "English",
isbn = "978-3-031-36708-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "123--142",
editor = "Fernandez, {Maribel } and Chris Poskitt",
booktitle = "Proceedings 16th International Conference on Graph Transformation (ICGT 2023)",
address = "Germany",
}