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