@phdthesis{dnb-697,
  title = {Complexity classifications for nonmonotonic reasoning and enumeration},
  author = {Johannes Schmidt 0001},
  year = {2012},
  url = {http://d-nb.info/1030079676},
  researchr = {https://researchr.org/publication/dnb-697},
  cites = {0},
  citedby = {0},
  school = {University of Hanover},
}