Transition Graphs of Rewriting Systems over Unranked Trees.

Christof Lding, Alex Spelten

Browse the full MFCS paper archive.