@article{Courcelle_2000,
    doi = {10.1016/s0304-3975(00)00180-8},
    url = {https://doi.org/10.1016%2Fs0304-3975%2800%2900180-8},
    year = {2000},
    month = {aug},
    publisher = {Elsevier {BV}},
    volume = {244},
    number = {1-2},
    pages = {63--94},
    author = {Bruno Courcelle},
    title = {The monadic second-order logic of graphs {XIII}: Graph drawings with edge crossings},
    journal = {Theoretical Computer Science}
}

@article{Courcelle_2000, doi = {10.1016/s0304-3975(00)00180-8}, url = {https://doi.org/10.1016%2Fs0304-3975%2800%2900180-8}, year = {2000}, month = {aug}, publisher = {Elsevier {BV}}, volume = {244}, number = {1-2}, pages = {63--94}, author = {Bruno Courcelle}, title = {The monadic second-order logic of graphs {XIII}: Graph drawings with edge crossings}, journal = {Theoretical Computer Science} }