Adam Koprowski Hans Zantema Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems. 332-346 2006 conf/cade/2006 IJCAR http://dx.doi.org/10.1007/11814771_30 db/conf/cade/ijcar2006.html#KoprowskiZ06