Johan Boye Wlodzimierz Drabent Jan Maluszynski Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach. 123-140 1997 AADEBUG db/conf/aadebug/aadebug97.html#BoyeDM97 http://www.ep.liu.se/ea/cis/1997/009/11/