Jirí Matousek Robin Thomas Algorithms Finding Tree-Decompositions of Graphs. 1-22 1991 12 J. Algorithms 1 db/journals/jal/jal12.html#MatousekT91