@article{Vukmirovic2022,
TITLE = {Making Higher-Order Superposition Work},
AUTHOR = {Vukmirovi{\'c}, Petar and Bentkamp, Alexander and Blanchette, Jasmin and Cruanes, Simon and Nummelin, Visa and Tourret, Sophie},
LANGUAGE = {eng},
ISSN = {0168-7433},
DOI = {10.1007/s10817-021-09613-z},
PUBLISHER = {Springer},
ADDRESS = {New York, NY},
YEAR = {2022},
JOURNAL = {Journal of Automated Reasoning},
VOLUME = {66},
PAGES = {541--564},
}