@inproceedings{DBLP:conf/jelia/AbseherBCDHW14,
  author = {Abseher, Michael and Bliem, Bernhard and Charwat, G{\"{u}}nther and Dusberger, Frederico and Hecher, Markus and Woltran, Stefan},
  title = {The {D-FLAT} System for Dynamic Programming on Tree Decompositions},
  booktitle = {{JELIA}},
  series = {Lecture Notes in Computer Science},
  volume = {8761},
  pages = {558--572},
  publisher = {Springer},
  year = {2014}
}