1. Blaauwbroek, L., Urban, J., Geuvers, H.: Tactic learning and proving for the Coq proof assistant. In: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain (2020)
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);JC Blanchette,2011
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence),2010
4. Boyer, R.S., Moore, J.S.: A Computational Logic Handbook, Perspectives in Computing, vol. 23. Academic Press (1979)
5. Lecture Notes in Computer Science;A Bundy,1988