A Knuth-Bendix-Like Ordering for Orienting Combinator Equations.

Ahmed Bhayat, Giles Reger

Browse the full CADE paper archive.