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