@article{DBLP:journals/tplp/GebserSTV11,
  author = {Gebser, Martin and Schaub, Torsten and Thiele, Sven and Veber, Philippe},
  title = {Detecting inconsistencies in large biological networks with answer set programming},
  journal = {{TPLP}},
  volume = {11},
  number = {2-3},
  pages = {323--360},
  year = {2011}
}