@article{DBLP:journals/tplp/GebserSTV11, author = {Gebser, Martin and Schaub, Torsten and Thiele, Sven and Veber, Philippe}, title = {Detecting inconsistencies in large biological networks with answer set programming}, journal = {{TPLP}}, volume = {11}, number = {2-3}, pages = {323--360}, year = {2011} }