@inproceedings{07450bc600f24a57a559419dd7d00914,
title = "Linear-Time Graph Programs without Preconditions",
author = "{Ismaili Alaoui}, Ziad and Detlef Plump",
note = "{\textcopyright} Z. Ismaili Alaoui & D. Plump",
year = "2025",
month = mar,
day = "26",
doi = "10.4204/EPTCS.417.3",
language = "English",
series = "Electronic Proceedings in Theoretical Computer Science",
publisher = "Open Publishing Association",
pages = "39--54",
booktitle = "Proceedings 14th and 15th International Workshop on Graph Computation Models (GCM 2024 and GCM 2025)",
address = "Australia",
}