KAKAS, et al.. Abductive Logic Programming. Oxford University Press (OUP), 1992, doi:10.1093/logcom/2.6.719.