Modeling biological systems with Answer Set Programming - Thiele, Sven (Universitätsbibliothek der Universität Potsdam, 2012)