@misc{indiciae4cc7ea179183,
  title = {Detecting Inconsistencies in Large Biological Networks with Answer Set Programming},
  author = {Martin Gebser and Torsten Schaub and Sven Thiele and Philippe Veber},
  year = {2010},
  url = {https://arxiv.org/abs/1007.0134},
  note = {Source identifier: 1007.0134}
}