@misc{GebserKaufmannSchaub2019,
  author    = {Martin Gebser and Benjamin Kaufmann and Torsten H. Schaub},
  title     = {Multi-threaded ASP solving with clasp},
  booktitle = {Postprints der Universit{\"a}t Potsdam : Mathematisch-Naturwissenschaftliche Reihe},
  number    = {586},
  issn      = {1866-8372},
  doi       = {10.25932/publishup-41397},
  institution = {Mathematisch-Naturwissenschaftliche Fakult{\"a}t},
  series    = {Zweitver{\"o}ffentlichungen der Universit{\"a}t Potsdam : Mathematisch-Naturwissenschaftliche Reihe},
  number    = {586},
  type      = {postprint},
  pages     = {21},
  year        = {2019},
}