Title: An algorithm to test for confluence in a system of left to right rewrite rules
Subjects: Computer science