A Unifying Framework for Abductive and Constraint Logic Programming.

Gerhard Wetzel A Unifying Framework for Abductive and Constraint Logic Programming. 0- 1997 WLP db/conf/wlp/wlp97.html#Wetzel97