Using parametric set constraints for locating errors in CLP programs

Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak. Using parametric set constraints for locating errors in CLP programs. TPLP, 2(4-5):549-610, 2002.

Abstract

Abstract is missing.