@inproceedings{zcj09:mfcs,
  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",
  booktitle = "Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science (MFCS'09)",
  pages = "744--757",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://zivny.cz/publications/zcj09mfcs-preprint.pdf",
  volume = "5734",
  doi = "10.1007/10.1007/978-3-642-03816-7_63",
}