@phdthesis{DBLP:phd/dnb/Thiele12,
  author = {Thiele, Sven},
  title = {Modeling biological systems with Answer Set Programming},
  school = {University of Potsdam},
  year = {2012}
}