Church-Rosser Properties of Weakly Terminating Term Rewriting Systems.

Jean-Pierre Jouannaud, Hlne Kirchner, Jean-Luc Rmy

Browse the full IJCAI paper archive.