Reinhard Pichler Stefan Rümmele Stefan Woltran Counting and Enumeration Problems with Bounded Treewidth. 387-404 2010 LPAR (Dakar) http://dx.doi.org/10.1007/978-3-642-17511-4_22 conf/lpar/2010d db/conf/lpar/lpar2010d.html#PichlerRW10