Computing tree width: from theory to practice and back
scientific article; zbMATH DE number 6932460