Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
Vukmirović2019_Chapter_ExtendingABrainiacProverToLamb.pdf (Verlagsversion), 386KB
Vukmirović, P., Blanchette, J. C., Cruanes, S., & Schulz, S. (2019). Extending a Brainiac Prover to Lambda-Free Higher-Order Logic. In Tools and Algorithms for the Construction and Analysis of Systems (pp. 192-210). New York, NY: Springer. doi:10.1007/978-3-030-17462-0_11.
