Single pushout rewriting in comprehensive systems of graph-like structures
scientific article; zbMATH DE number 7387697
scientific article