Superposition for Lambda-Free Higher-Order Logic.

Alexander Bentkamp, Jasmin Christian Blanchette, Simon Cruanes, Uwe Waldmann

Browse the full CADE paper archive.