@inproceedings{b37f9d20cd764492909559283a6905fe,
title = "A Combinator-Based Superposition Calculus for Higher-Order Logic",
abstract = "We present a refutationally complete superposition calculus for a version of higher-order logic based on the combinatory calculus. We also introduce a novel method of dealing with extensionality. The calculus was implemented in the Vampire theorem prover and we test its performance against other leading higher-order provers. The results suggest that the method is competitive.",
author = "Ahmed Bhayat and Giles Reger",
year = "2020",
month = jul,
day = "4",
doi = "10.1007/978-3-030-51074-9_16",
language = "English",
isbn = "978-3-030-51073-2",
volume = "12166",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature",
booktitle = "Automated Reasoning",
address = "United States",
}