1. Alemi, A.A., Chollet, F., Een, N., Irving, G., Szegedy, C., Urban, J.: Deepmath - Deep sequence models for premise selection. In: Lee, D., Sugiyama, M., Luxburg, U., Guyon, I., Garnett, R. (eds.) Advances in Neural Information Processing Systems 29 (NIPS 2016), pp. 2235–2243 (2016)
2. Andrews, P.B.: Refutations by matings. IEEE Trans. Comput. C–25, 193–214 (1976)
3. Andrews, P.B.: Theorem proving via general matings. J. ACM 28, 193–214 (1981)
4. Andrews, P.B.: An Introduction to Mathematical Logic and Type Theory: To Truth through Proof. Academic Press, Orlando (1986)
5. Andrews, P.B.: On connections and higher-order logic. J. Autom. Reas. 5, 257–291 (1989)