Abductive and constraint logic programming. - Gerhard Wetsel (1997)