Keyword:Superpsoition

Papers
A Combinator-Based Superposition Calculus for Higher-Order Logic (Technical Report) Ahmed Bhayat and Giles Reger EasyChair Preprint no. 3192