@inproceedings{Bentkamp_CADE21,
TITLE = {Superposition for Full Higher-order Logic},
AUTHOR = {Bentkamp, Alexander and Blanchette, Jasmin and Tourret, Sophie and Vukmirovi{\'c}, Petar},
LANGUAGE = {eng},
ISBN = {978-3-030-79875-8},
DOI = {10.1007/978-3-030-79876-5_23},
PUBLISHER = {Springer},
YEAR = {2021},
DATE = {2021},
BOOKTITLE = {Automated Deduction -- CADE 28},
EDITOR = {Platzer, Andr{\'e} and Sutcliffe, Geoff},
PAGES = {396--412},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {12699},
ADDRESS = {Virtual Event},
}