Restricting Tree Grammars with Term Rewriting.

Jan Bessai, Lukasz Czajka, Felix Laarmann, Jakob Rehof

Browse the full FSCD paper archive.