St. Rümmele: "Efficient Algorithms for Nonmonotonic Reasoning Using Treewidth"; Poster: KR 2010 Doctoral Consortium, Toronto, Canada; 2010-05-09 - 2010-05-13.