@misc{indiciae3542d19f3230,
  title = {Generalizing Consistency and other Constraint Properties to Quantified Constraints},
  author = {Lucas Bordeaux and Marco Cadoli and Toni Mancini},
  year = {2007},
  url = {https://arxiv.org/abs/0705.3561},
  note = {Source identifier: 0705.3561}
}