Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
http://arxiv.org/abs/1606.05427 (Any fulltext)
Blanchette, J. C., & Kaliszyk, C. (Eds.). (2016). Proceedings First International Workshop on Hammers for Type Theories. http://about.eptcs.org/: EPTCS. doi:10.4204/EPTCS.210.