1. Chang, C., Lee, R.C.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, London (1973)
2. Lecture Notes in Computer Science;K. Furukawa,2000
3. Lecture Notes in Artificial Intelligence;K. Inoue,2001
4. Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive Logic Programming. Journal of Logic and Computation 2(6), 719–770 (1992)
5. Kakas, A.C., Mancarella, P.: Database Updates through Abduction. In: Proceedings of the 16th International Conference on Very Large Databases, pp. 650–661. Morgan Kaufmann, San Francisco (1990)