@Article{VBCS:STTT-2021, author = {Petar Vukmirovi{\'c} and Jasmin Christian Blanchette and Simon Cruanes and Stephan Schulz}, title = {{Extending a Brainiac Prover to Lambda-free Higher-Order Logic}}, journal = {International Journal on Software Tools for Technology Transfer}, year = {2021}, OPTkey = {}, OPTvolume = {}, OPTnumber = {}, OPTpages = {}, month = {August}, url = {https://doi.org/10.1007/s10009-021-00639-7}, doi = {10.1007/s10009-021-00639-7}, OPTnote = {}, OPTannote = {StS} }