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;
Becker, H., Blanchette, J. C., Waldmann, U., & Wand, D. (2017). A Transfinite Knuth–Bendix Order for Lambda-Free Higher-Order Terms. In L. de Moura (Ed.), Automated Deduction -- CADE 26 (pp. 432-453). Berlin: Springer. doi:10.1007/978-3-319-63046-5_27.