Mercè Llabrés Francesc Rosselló Double-Pushout Hypergraph Rewriting Using Total Conformisms. 193-226 1997 30 Fundam. Inform. 2 db/journals/fuin/fuin30.html#LlabresR97