Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
Superposition with Lambdas
CADE, 2019.
@inproceedings{CADE-2019-BentkampBTVW,
author = "Alexander Bentkamp and Jasmin Blanchette and Sophie Tourret and Petar Vukmirovic and Uwe Waldmann",
booktitle = "{Proceddings of the 27th International Conference on Automated Deduction}",
doi = "10.1007/978-3-030-29436-6_4",
isbn = "['978-3-030-29435-9', '978-3-030-29436-6']",
pages = "55--73",
publisher = "{Springer}",
title = "{Superposition with Lambdas}",
year = 2019,
}
