Heiko Becker, Jasmin Blanchette, Uwe Waldmann, Daniel Wand. A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms. Leonardo de Moura. Automated Deduction -- 26th International Conference, Aug 2017, Gothenburg, Sweden. Springer, 10395, pp.432
HAL Archives-Ouvertes,
Heiko Becker, Jasmin Blanchette, Uwe Waldmann, Daniel Wand. A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms.