Church-Rosser Properties of Normal Rewriting.

Jean-Pierre Jouannaud, Jianqi Li

Browse the full CSL paper archive.