@phdthesis{Thiele2012,
  author      = {Sven Thiele},
  title       = {Modeling biological systems with Answer Set Programming},
  type        = {doctoralthesis},
  school      = {Universit{\"a}t Potsdam},
  year        = {2012},
}