@inproceedings{Bentkamp_CADE2019,
TITLE = {Superposition with Lambdas},
AUTHOR = {Bentkamp, Alexander and Blanchette, Jasmin Christian and Tourret, Sophie and Vukmirovi{\'c}, Petar and Waldmann, Uwe},
LANGUAGE = {eng},
ISSN = {0302-9743},
ISBN = {978-3-030-29435-9},
DOI = {10.1007/978-3-030-29436-6_4},
PUBLISHER = {Springer},
YEAR = {2019},
DATE = {2019},
BOOKTITLE = {Automated Deduction -- CADE 27},
EDITOR = {Fontaine, Pascal},
PAGES = {55--73},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {11716},
ADDRESS = {Natal, Brazil},
}