@article{dynasp25dynamicprogrammingontree,
  title = {DynASP2.5: Dynamic Programming on Tree Decompositions in Action},
  author = {Johannes K. Fichte and Markus Hecher and Michael Morak and Stefan Woltran},
  year = {2017},
  eprint = {1706.09370},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1706.09370v1},
}