Tree Pattern Rewriting Systems.

Blaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun

Browse the full ATVA paper archive.