https://arxiv.org/abs/cs/0309032
[cs/0309032] Towards declarative diagnosis of constraint programs over finite domains
Abstract page for arXiv paper cs/0309032: Towards declarative diagnosis of constraint programs over finite domains
cstowardsdeclarativediagnosis