1. Abrial, J., Abrial, J. & Hoare, A. 2005, The B-book: assigning programs to meanings, Cambridge University Press.
2. Ahrendt, W., Beckert, B., Hähnle, R., Menzel, W., Reif, W., Schellhorn, G. & Schmitt, P.H. 1998, "Integrating automated and interactive theorem proving",.
3. Astrachan, O.L. & Loveland, D.W. 1991, "METEORs: High performance theorem provers using model elimination", Automated Reasoning, pp. 31--59.
4. Dong, T., Furbach, U., Glöckner, I. & Pelzer, B. 2011, "A natural language question answering system as a participant in human Q&A portals", Proceedings of the Twenty-Second international joint conference on Artificial Intelligence-Volume Volume Three AAAI Press, pp. 2430.
5. Enderton, H.B. 1977, Elements of set theory, Academic Press.