Treewidth computations and approximations / - Kloks, Ton. (Lecture notes in computer science ;)