Aline Brum Loreto Leila Ribeiro Laira Vieira Toscani Decidability and Tractability of Problems in Object-Based Graph Grammars. 396-408 2002 conf/ifipTCS/2002 IFIP TCS db/conf/ifipTCS/ifipTCS2002.html#LoretoRT02