@article{Bentkamp21,
TITLE = {Superposition with Lambdas},
AUTHOR = {Bentkamp, Alexander and Blanchette, Jasmin and Tourret, Sophie and Vukmirovi{\'c}, Petar and Waldmann, Uwe},
LANGUAGE = {eng},
ISSN = {0168-7433},
DOI = {10.1007/s10817-021-09595-y},
PUBLISHER = {Springer},
ADDRESS = {New York, NY},
YEAR = {2021},
DATE = {2021},
JOURNAL = {Journal of Automated Reasoning},
VOLUME = {65},
PAGES = {893--940},
}