Tree pattern rewriting systems (2008)

by B Genest, A Muscholl, O Serre, M Zeitoun
Venue:In ATVA