@article{Blanchette2208.07775,
TITLE = {{SAT}-Inspired Higher-Order Eliminations},
AUTHOR = {Blanchette, Jasmin and Vukmirovi{\'c}, Petar},
LANGUAGE = {eng},
ISSN = {1860-5974},
DOI = {10.46298/lmcs-19(2:9)2023},
PUBLISHER = {Episciences},
YEAR = {2023},
MARGINALMARK = {$\bullet$},
DATE = {2023},
JOURNAL = {Logical Methods in Computer Science},
VOLUME = {19},
NUMBER = {2},
PAGES = {1--23},
EID = {9},
}