Antonis C. Kakas Antonia Michael Costas Mourlas ACLP: Abductive Constraint Logic Programming. 129-177 2000 44 J. Log. Program. 1-3 db/journals/jlp/jlp44.html#KakasMM00 https://doi.org/10.1016/S0743-1066(99)00075-8 https://www.wikidata.org/entity/Q62615147