[1]
S. Teumert, M. Krause, and B. Steffen, “SOS-Supported Graph Transformation”,
ECEASST
, vol. 82, Oct. 2023.