@inproceedings{DBLP:conf/kr/GebserGISSTV10,
  title = {Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming},
  author = {Gebser, Martin and Guziolowski, Carito and Ivanchev, Mihail and Schaub, Torsten and Siegel, Anne and Thiele, Sven and Veber, Philippe},
  booktitle = {{KR}},
  publisher = {{AAAI} Press},
  year = {2010}
}