1. Lecture Notes in Artificial Intelligence;PB Andrews,2000
2. Andrews, P.B., Brown, C.E.: TPS: a hybrid automatic-interactive system for developing proofs. Journal of Applied Logic 4(4), 367–395 (2006)
3. LNCS/LNAI;J Backes,2010
4. Benzmüller, C., Otten, J., Raths, T.: Implementing and evaluating provers for first-order modal logics. In: Raedt, L.D., Bessière, C., Dubois, D., Doherty, P., Frasconi, P., Heintz, F., Lucas, P.J.F. (eds.) Frontiers in Artificial Intelligence and Applications, ECAI, vol. 242, pp. 163–168. IOS Press (2012)
5. Benzmüller, C., Paulson, L., Theiss, F., Fietzke, A.: LEO-II—a cooperative automatic theorem prover for classical higher-order logic. In: 4th International Joint Conference on Automated Reasoning (IJCAR’08), LNCS (LNAI), vol. 5195, pp. 162–170. Springer (2008)