@article {IOPORT.05401731,
    author       = {Alberti, Marco and Gavanelli, Marco and Lamma, Evelina and Mello, Paola and Milano, Michela},
    title        = {A CHR-based implementation of known arc-consistency.},
    year         = {2004},
    journal      = {Computing Research Repository (CoRR)},
    volume       = {2004},
    pages        = {Article No. 0408056},
    publisher    = {Association for Computing Machinery, New York, NY; Cornell University, Ithaka, NY},
    identifier   = {05401731},
}