Decision problems for node label controlled graph grammars
scientific article; zbMATH DE number 3731368