One-Rule Trace-Rewriting Systems and Confluence.

Celia Wrathall, Volker Diekert, Friedrich Otto

Browse the full MFCS paper archive.