@article{DBLP:journals/corr/abs-1007-0134, title = {Detecting Inconsistencies in Large Biological Networks with Answer Set Programming}, author = {Gebser, Martin and Schaub, Torsten and Thiele, Sven and Veber, Philippe}, journal = {CoRR}, volume = {abs/1007.0134}, year = {2010} }