Bart M. P. Jansen: On Sparsification for Computing Treewidth. Algorithmica 71(3): 605-635 (2015)