Martin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel, Philippe Veber. Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. In Maria Garcia de la Banda, Enrico Pontelli, editors, Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings. Volume 5366 of Lecture Notes in Computer Science, pages 130-144, Springer, 2008. [doi]
Abstract is missing.