TY  - RPRT
TI  - Towards declarative diagnosis of constraint programs over finite domains
AU  - Gerard Ferrand
AU  - Willy Lesaint
AU  - Alexandre Tessier
PY  - 2003
UR  - https://arxiv.org/abs/cs/0309032
ID  - cs/0309032
ER  -