Providing Built-In Counters in a Declarative Dynamic Programming Environment. - Michael Abseher; Marius Moldovan; Stefan Woltran (KI, 2016)

The Impact of Treewidth on ASP Grounding and Solving. - Bernhard Bliem; Marius Moldovan; Michael Morak; Stefan Woltran (IJCAI, 2017)

Dynamic Programming on Tree Decompositions with D-FLAT. - Michael Abseher; Bernhard Bliem; Markus Hecher; Marius Moldovan; Stefan Woltran (Künstliche Intell., 2018)

The Impact of Treewidth on Grounding and Solving of Answer Set Programs. - Bernhard Bliem; Michael Morak; Marius Moldovan; Stefan Woltran (J. Artif. Intell. Res., 2020)