Wlodzimierz Drabent Jan Maluszynski Pawel Pietrzak Using parametric set constraints for locating errors in CLP programs http://arxiv.org/abs/cs.PL/0202010 2002 CoRR cs.PL/0202010 db/journals/corr/corr0202.html#cs-PL-0202010 informal publication