An approximation theory for constraint logic programs - Carlson, Björn (1991)