CadoliM07'

BibTeX

@article{DBLP:journals/aai/CadoliM07,
  author    = {Marco Cadoli and
               Toni Mancini},
  title     = {Using a Theorem Prover for Reasoning on Constraint Problems},
  journal   = {Applied Artificial Intelligence},
  volume    = {21},
  number    = {4{\&}5},
  year      = {2007},
  pages     = {383-404},
  ee        = {http://dx.doi.org/10.1080/08839510701252650},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}