Antonis C. Kakas A. Michael Costas Mourlas ACLP: Abductive Constraint Logic Programming. 129-177 2000 44 J. Log. Program. 1-3 db/journals/jlp/jlp44.html#KakasMM00