Journal article
DB Kemp, PJ Stuckey
The Journal of Logic Programming | Published : 1996
DOI: 10.1016/0743-1066(95)00050-X