A Combinator-Based Superposition Calculus for Higher-Order Logic.

Ahmed Bhayat, Giles Reger

Browse the full CADE paper archive.