@article{zcj09:dam,
  title = "The {E}xpressive {P}ower of {B}inary {S}ubmodular {F}unctions",
  author = "Stanislav \v{Z}ivn\'y and David A. Cohen and Peter G. Jeavons",
  year = "2009",
  journal = "Discrete Applied Mathematics",
  number = "15",
  pages = "3347--3358",
  url = "http://zivny.cz/publications/zcj09dam-preprint.pdf",
  volume = "157",
  doi = "10.1016/j.dam.2009.07.001",
}