@article{Bentkamp23,
TITLE = {Complete and Efficient Higher-Order Reasoning via Lambda-Superposition},
AUTHOR = {Bentkamp, Alexander and Blanchette, Jasmin and Nummelin, Visa and Tourret, Sophie and Waldmann, Uwe},
LANGUAGE = {eng},
DOI = {10.1145/3636362.3636367},
PUBLISHER = {ACM},
ADDRESS = {New York, NY},
YEAR = {2023},
MARGINALMARK = {$\bullet$},
DATE = {2023},
JOURNAL = {ACM SIGLOG News},
VOLUME = {10},
NUMBER = {4},
PAGES = {25--40},
}