Wlodzimierz Drabent Jan Maluszynski Pawel Pietrzak Locating Type Errors in Untyped CLP Programs. 121-150 2000 conf/discipl/2000 Analysis and Visualization Tools for Constraint Programming db/conf/discipl/discipl2000.html#DrabentMP00 http://dx.doi.org/10.1007/10722311_5