D−FLAT: Declarative problem solving using tree decompositions and answer−set programming

Bernhard Bliem‚ Michael Morak and Stefan Woltran