Tracing and Explaining Execution of CLP(FD) Programs. - Magnus Ågren 002; Tamás Szeredi; Nicolas Beldiceanu; Mats Carlsson (WLPE, 2002)

FDBG, the CLPFD Debugger Library of SICStus Prolog. - Dávid Hanák; Tamás Szeredi; Péter Szeredi (ICLP, 2004)

FDBG, the CLP(FD) Debugger Library of SICStus Prolog. - Dávid Hanák; Tamás Szeredi (WLPE, 2004)