Tree-Verifiable Graph Grammars.

Mark Chimes, Radu Iosif, Florian Zuleger

Browse the full LPAR paper archive.