Detecting Inconsistencies in Large Biological Networks with Answer Set Programming.

Martin Gebser, Torsten Schaub, Sven Thiele, Bjrn Usadel, Philippe Veber

Browse the full ICLP paper archive.