@article{Vukmirovic2021,
TITLE = {Extending a Brainiac Prover to Lambda-Free Higher-Order Logic},
AUTHOR = {Vukmirovi{\'c}, Petar and Blanchette, Jasmin and Cruanes, Simon and Schulz, Stephan},
LANGUAGE = {eng},
ISSN = {1433-2779},
DOI = {10.1007/s10009-021-00639-7},
PUBLISHER = {Springer},
ADDRESS = {Berlin},
YEAR = {2022},
DATE = {2022},
JOURNAL = {International Journal on Software Tools for Technology Transfer (STTT)},
VOLUME = {24},
PAGES = {67--87},
}