1. Lecture Notes in Computer Science;A Albarghouthi,2017
2. Bradley, A.R., Manna, Z.: The Calculus of Computation: Decision Procedures with Applications to Verification. Springer, Heidelberg (2007).
https://doi.org/10.1007/978-3-540-74113-8
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);A Cropper,2015
4. Cropper, A., Muggleton, S.H.: Learning higher-order logic programs through abstraction and invention. In: Kambhampati, S. (ed.) Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, 9–15 July 2016, pp. 1418–1424. IJCAI/AAAI Press, New York (2016)
5. Cropper, A., Muggleton, S.H.: Metagol system (2016).
https://github.com/metagol/metagol