Marco Cadoli Toni Mancini Using a Theorem Prover for Reasoning on Constraint Problems. 38-49 2005 AI*IA http://dx.doi.org/10.1007/11558590_4 db/conf/aiia/aiia2005.html#CadoliM05