Infinite Families of Finite String Rewriting Systems and Their Confluence.

Jean-Pierre Jouannaud, Benjamin Monate

Browse the full LPAR paper archive.