@article{GebserSchaubThieleetal.2011,
  author    = {Martin Gebser and Torsten H. Schaub and Sven Thiele and Philippe Veber},
  title     = {Detecting inconsistencies in large biological networks with answer set programming},
  journal   = {Theory and practice of logic programming},
  volume    = {11},
  number    = {5-6},
  pages     = {323 -- 360},
  doi       = {10.1017/S1471068410000554},
  year      = {2011},
}