Hans L. Bodlaender Babette van Antwerpen-de Fluiter Reduction Algorithms for Graphs of Small Treewidth. 86-119 2001 167 Inf. Comput. 2 db/journals/iandc/iandc167.html#BodlaenderF01