A Lambda-Free Higher-Order Recursive Path Order.

Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand

Browse the full FOSSACS paper archive.