Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems.

Adam Koprowski, Hans Zantema

Browse the full CADE paper archive.