"Strictly orthogonal left linear rewrite systems and primitive recursion."

E. A. Cichon, Elias Tahhan-Bittar (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics