Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
Tourret, Sophie 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., Tourret, S., Vukmirović, P., & Waldmann, U. (2019). Superposition with Lambdas. In P. Fontaine (Ed.), Automated Deduction -- CADE 27 (pp. 55-73). Berlin: Springer. doi:10.1007/978-3-030-29436-6_4.