Petar Vukmirovic, Jasmin Blanchette, Simon Cruanes, Stephan Schulz 0001. Extending a brainiac prover to lambda-free higher-order logic. STTT, 24(1):67-87, 2022. [doi]
@article{VukmirovicBCS22,
title = {Extending a brainiac prover to lambda-free higher-order logic},
author = {Petar Vukmirovic and Jasmin Blanchette and Simon Cruanes and Stephan Schulz 0001},
year = {2022},
doi = {10.1007/s10009-021-00639-7},
url = {https://doi.org/10.1007/s10009-021-00639-7},
researchr = {https://researchr.org/publication/VukmirovicBCS22},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {24},
number = {1},
pages = {67-87},
}