@article{Bodlaender_1993,
    doi = {10.1006/jagm.1993.1001},
    url = {https://doi.org/10.1006%2Fjagm.1993.1001},
    year = {1993},
    month = {jan},
    publisher = {Elsevier {BV}},
    volume = {14},
    number = {1},
    pages = {1--23},
    author = {H.L. Bodlaender},
    title = {On Linear Time Minor Tests with Depth-First Search},
    journal = {Journal of Algorithms}
}

@article{Bodlaender_1993, doi = {10.1006/jagm.1993.1001}, url = {https://doi.org/10.1006%2Fjagm.1993.1001}, year = {1993}, month = {jan}, publisher = {Elsevier {BV}}, volume = {14}, number = {1}, pages = {1--23}, author = {H.L. Bodlaender}, title = {On Linear Time Minor Tests with Depth-First Search}, journal = {Journal of Algorithms} }