A lexicographic path order with slow growing derivation bounds

Naohi Eguchi. A lexicographic path order with slow growing derivation bounds. Math. Log. Q., 55(2):212-224, 2009. [doi]

Abstract

Abstract is missing.