1. Basin, D., et al.: Rippling: Meta-Level Guidance for Mathematical Reasoning. Cambridge University Press, New York (2005)
2. Bishop, C.: Pattern Recognition and Machine Learning. Springer, Heidelberg (2006)
3. Blanchette, J., et al.: Hammering towards QED. J. Formalized Reasoning 9(1), 101–148 (2016)
4. Coq development team. The Coq Proof Assistant Reference Manual, version 8.4pl3. Technical report (2013)
5. Czajka, L., Kaliszyk, C.: Goal translation for a Hammer for Coq. In: Proceeding of Hammers for Type Theories, EPTCS. vol. 210 , pp. 13-20 (2016)