@article{AharoniBergerGeorgakopoulusPerlsteinSpruessel2011JCT,
  author = {Ron Aharoni and Eli Berger and Agelos Georgakopoulos and Amitai Perlstein and Philipp Spr{\"u}ssel},
  title = {The Max-Flow Min-Cut theorem for countable networks},
  journal = {J. Combin. Theory Ser. B},
  volume = 101,
  pages = {1--17},
  year = 2011,
}

@inproceedings{HoelzlLochbihlerTraytel2015ITP,
  author = {Johannes H{\"o}lzl and Andreas Lochbihler and Dmitriy Traytel},
  title = {A Formalized Hierarchy of Probabilistic System Types},
  editor = {Christian Urban and Xingyuan Zhang},
  booktitle = {Interactive Theorem Proving (ITP 2015)},
  series = {LNCS},
  volume = 9236,
  pages = {203--220},
  year = 2015,
  publisher = {Springer},
  doi = {10.1007/978-3-319-22102-1_13},
}

@article{Aharoni1983EJC,
  author = {Ron Aharoni},
  title = {Menger's Theorem for Graphs Containing no Infinite Paths},
  journal = {Europ. J. Combinatorics},
  volume = 4,
  pages = {201--204},
  year = 1983,
}

@article{Kellerer1961MA,
  author = {Hans G. Kellerer},
  title = {Funktionen auf {P}roduktr{\"a}umen mit vorgegebenen {M}arginal-{F}unktionen},
  journal = {Math. Annalen},
  volume = 144,
  pages = {323--344},
  year = 1961,
}
