Annegret Habel Hans-Jörg Kreowski Walter Vogler Complativle graph properties are decidable for hypergraph replacement graph languages. 55-61 1987 33 Bulletin of the EATCS db/journals/eatcs/eatcs33.html#HabelKV87