1. Peirce, C.S.: Abduction and induction. In: Philosophical Writings of Peirce, pp. 150–156 (1955)
2. Denecker, M., Kakas, A.C.: Abduction in logic programming. Computational Logic: Logic Programming and Beyond, 402–436 (2002)
3. Kakas, A.C., Mancarella, P.: Generalized stable models: A semantics for abduction. In: Proc. of ECAI 1990, pp. 385–391 (1990)
4. Lin, F., You, J.H.: Abduction in logic programming: A new definition and an abductive procedure based on rewriting. In: Proc. of IJCAI 2001, pp. 655–666 (2001)
5. Console, L., Dupre, D.T., Torasso, P.: On the relationship between abduction and deduction. Journal of Logic and Computation 1, 661–690 (1991)