1. Asperti, A., Ricciotti, W., Sacerdoti, C., Tassi, C.: A new type for tactics. In: PLMMS 2009, pp. 229–232 (2009)
2. Aspinall, D., Denney, E., Lüth, C.: A Tactic Language for Hiproofs. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.) AISC/Calculemus/MKM 2008. LNCS (LNAI), vol. 5144, pp. 339–354. Springer, Heidelberg (2008)
3. Lecture Notes in Computer Science;S. Autexier,2010
4. Bundy, A.: A science of reasoning. In: Computational Logic - Essays in Honor of Alan Robinson, pp. 178–198 (1991)
5. Bundy, A., Basin, D., Hutter, D., Ireland, A.: Rippling: Meta-level Guidance for Mathematical Reasoning. Cambridge University Press (2005)