Veksler, M.; Strichman, O. A Proof-Producing CSP Solver. AAAI 2010, 24, 204-209.