The following publications are possibly variants of this publication:
- Superposition for Lambda-Free Higher-Order LogicAlexander Bentkamp, Jasmin Christian Blanchette, Simon Cruanes, Uwe Waldmann. cade 2018: 28-46 [doi]
- Superposition for Higher-Order LogicAlexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic. JAR, 67(1):10, March 2023. [doi]
- Superposition for Full Higher-order LogicAlexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic. cade 2021: 396-412 [doi]