Marco Cadoli Toni Mancini Using a Theorem Prover for Reasoning on Constraint Problems. 383-404 2007 21 Applied Artificial Intelligence 4&5 http://dx.doi.org/10.1080/08839510701252650 db/journals/aai/aai21.html#CadoliM07