Trace Rewriting: Computing Normal Forms in Time O(n log n).

Michael Bertol, Volker Diekert

Browse the full STACS paper archive.