Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society;
Wand, Daniel Automation of Logic, MPI for Informatics, Max Planck Society;
Blanchette, J. C., Waldmann, U., & Wand, D. (2017). A Lambda-Free Higher-Order Recursive Path Order. In J. Esparza, & A. S. Murawski (Eds.), Foundations of Software Science and Computation Structures (pp. 461-479). Berlin: Springer. doi:10.1007/978-3-662-54458-7_27.