Jirí Matousek, Robin Thomas. Algorithms Finding Tree-Decompositions of Graphs. J. Algorithms, 12(1):1-22, 1991.
@article{MatousekT91, title = {Algorithms Finding Tree-Decompositions of Graphs}, author = {Jirí Matousek and Robin Thomas}, year = {1991}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/MatousekT91}, cites = {0}, citedby = {0}, journal = {J. Algorithms}, volume = {12}, number = {1}, pages = {1-22}, }