Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society;
Bentkamp, A., Blanchette, J. C., Cruanes, S., & Waldmann, U. (2018). Superposition for Lambda-Free Higher-Order Logic. In D. Galmiche, S. Schulz, & R. Sebastiani (Eds.), Automated Reasoning (pp. 28-46). Berlin: Springer. doi:10.1007/978-3-319-94205-6_3.