@InProceedings{geguivscsithve10a,
  author =	 "M. Gebser and C. Guziolowski and M. Ivanchev and
                  T. Schaub and A. Siegel and S. Thiele and P. Veber",
  title =	 "Repair and Prediction (under Inconsistency) in Large
                  Biological Networks with Answer Set Programming",
  pages =	 "497-507",
  crossref =	 "kr10"
}
@Proceedings{kr10,
  title =	 "Proceedings of the Twelfth International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR'10)",
  booktitle =	 "Proceedings of the Twelfth International Conference on
                  Principles of Knowledge Representation and Reasoning
                  (KR'10)",
  editor =	 "F. Lin and U. Sattler",
  publisher =	 "AAAI Press",
  year =	 2010
}