@InProceedings{Asinetal2009SAT,
  author    = {R. As\'\i n and
               R. Nieuwenhuis and
               A. Oliveras and
               E. Rodr\'\i guez Carbonell},
  title     = {{Cardinality Networks and their Applications}},
  booktitle = {12th International Conference on Theory and Applications of Satisfiability Testing, SAT'09},
  editor    = {O. Kullmann},
  pages     = {167-180},
  year      = {2009},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
  volume    = {5584}
}