Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:1712.01486.pdf (Preprint), 118KB
Barbosa, H., Blanchette, J. C., Cruanes, S., El Ouraoui, D., & Fontaine, P. (2017). Language and Proofs for Higher-Order SMT (Work in Progress). Electronic Proceedings in Theoretical Computer Science, 262, 15-22. doi:10.4204/EPTCS.262.3.