TY - RPRT TI - Generalizing Consistency and other Constraint Properties to Quantified Constraints AU - Lucas Bordeaux AU - Marco Cadoli AU - Toni Mancini PY - 2007 UR - https://arxiv.org/abs/0705.3561 ID - 0705.3561 ER -