@inproceedings{DBLP:conf/iclp/GebserSTUV08,
  author = {Gebser, Martin and Schaub, Torsten and Thiele, Sven and Usadel, Bj{\"{o}}rn and Veber, Philippe},
  title = {Detecting Inconsistencies in Large Biological Networks with Answer Set Programming},
  booktitle = {{ICLP}},
  series = {Lecture Notes in Computer Science},
  volume = {5366},
  pages = {130--144},
  publisher = {Springer},
  year = {2008}
}