@article{DBLP:journals/fuin/BliemCHW16,
  author = {Bliem, Bernhard and Charwat, G{\"{u}}nther and Hecher, Markus and Woltran, Stefan},
  title = {D-FLAT\({}^{\mbox{2}}\): Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy},
  journal = {Fundam. Inform.},
  volume = {147},
  number = {1},
  pages = {27--61},
  year = {2016}
}