M. Jakl, R. Pichler, St. Rümmele, S. Woltran: "Fast Counting with Bounded Treewidth"; Report No. DBAI-TR-2008-61, 2008; 27 pages.