@article{GebserKaufmannSchaub2012,
  author    = {Martin Gebser and Benjamin Kaufmann and Torsten H. Schaub},
  title     = {Multi-threaded ASP solving with clasp},
  journal   = {Theory and practice of logic programming},
  volume    = {12},
  number    = {8},
  pages     = {525 -- 545},
  doi       = {10.1017/S1471068412000166},
  year      = {2012},
}