TY - RPRT TI - Detecting Inconsistencies in Large Biological Networks with Answer Set Programming AU - Martin Gebser AU - Torsten Schaub AU - Sven Thiele AU - Philippe Veber PY - 2010 UR - https://arxiv.org/abs/1007.0134 ID - 1007.0134 ER -