@InProceedings{gescthusve08b,
  author =	 "M. Gebser and T. Schaub and S. Thiele and B. Usadel and P. Veber",
  title =	 "Detecting Inconsistencies in Large Biological Networks with Answer Set Programming",
  pages =	 "130-144",
  crossref =	 "iclp08"
}
@Proceedings{iclp08,
  title =	 "Proceedings of the Twenty-fourth International Conference on
                  Logic Programming (ICLP'08)",
  booktitle =	 "Proceedings of the Twenty-fourth International Conference on
                  Logic Programming (ICLP'08)",
  editor =	 "M. {Garcia de la Banda} and E. Pontelli",
  volume =	 5366,
  series =	 "Lecture Notes in Computer Science",
  publisher =	 "Springer-Verlag",
  year =	 2008
}