On Tamaki's Algorithm to Compute Treewidths.

Werkzeuge