BordeauxCM05'

BibTeX

@inproceedings{DBLP:conf/aaai/BordeauxCM05,
  author    = {Lucas Bordeaux and
               Marco Cadoli and
               Toni Mancini},
  title     = {CSP Properties for Quantified Constraints: Definitions and
               Complexity},
  booktitle = {AAAI},
  year      = {2005},
  pages     = {360-365},
  crossref  = {DBLP:conf/aaai/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aaai/2005,
  editor    = {Manuela M. Veloso and
               Subbarao Kambhampati},
  title     = {Proceedings, The Twentieth National Conference on Artificial
               Intelligence and the Seventeenth Innovative Applications
               of Artificial Intelligence Conference, July 9-13, 2005,
               Pittsburgh, Pennsylvania, USA},
  publisher = {AAAI Press / The MIT Press},
  year      = {2005},
  isbn      = {1-57735-236-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}