Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber. Detecting inconsistencies in large biological networks with answer set programming. TPLP, 11(2-3):323-360, 2011. [doi]
@article{GebserSTV11,
title = {Detecting inconsistencies in large biological networks with answer set programming},
author = {Martin Gebser and Torsten Schaub and Sven Thiele and Philippe Veber},
year = {2011},
doi = {10.1017/S1471068410000554},
url = {http://dx.doi.org/10.1017/S1471068410000554},
tags = {programming},
researchr = {https://researchr.org/publication/GebserSTV11},
cites = {0},
citedby = {0},
journal = {TPLP},
volume = {11},
number = {2-3},
pages = {323-360},
}