A Test for lambda-Confluence for Certain Prefix Rewriting Systems with Applications to the Generalized Word Problem.

Norbert Kuhn, Klaus Madlener, Friedrich Otto

Browse the full ISSAC paper archive.