@misc{GebserSchaubThieleetal.2019,
  author    = {Martin Gebser and Torsten H. Schaub and Sven Thiele and Philippe Veber},
  title     = {Detecting inconsistencies in large biological networks with answer set programming},
  booktitle = {Postprints der Universit{\"a}t Potsdam : Mathematisch-Naturwissenschaftliche Reihe},
  number    = {561},
  issn      = {1866-8372},
  doi       = {10.25932/publishup-41246},
  institution = {Mathematisch-Naturwissenschaftliche Fakult{\"a}t},
  series    = {Zweitver{\"o}ffentlichungen der Universit{\"a}t Potsdam : Mathematisch-Naturwissenschaftliche Reihe},
  number    = {561},
  type      = {postprint},
  pages     = {38},
  year        = {2019},
}