"Decidable Boundedness Problems for Hyperedge-Replacement Graph Grammar."

Annegret Habel, Hans-Jörg Kreowski, Walter Vogler (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics