@article{DBLP:journals/corr/FichteHMW16,
  author = {Fichte, Johannes Klaus and Hecher, Markus and Morak, Michael and Woltran, Stefan},
  title = {Counting Answer Sets via Dynamic Programming},
  journal = {CoRR},
  volume = {abs/1612.07601},
  year = {2016}
}