@phdthesis{Gharib2008,
  author      = {Mona Gharib},
  title       = {Incremental answer set programming},
  type        = {doctoralthesis},
  pages       = {184 S. : graph. Darst.},
  year        = {2008},
}