@inproceedings{Grohe_2000,
    doi = {10.1145/335305.335313},
    url = {https://doi.org/10.1145%2F335305.335313},
    year = {2000},
    month = {may},
    publisher = {{ACM}},
    author = {Martin Grohe},
    title = {Isomorphism testing for embeddable graphs through definability},
    booktitle = {Proceedings of the thirty-second annual {ACM} symposium on Theory of computing}
}

@inproceedings{Grohe_2000, doi = {10.1145/335305.335313}, url = {https://doi.org/10.1145%2F335305.335313}, year = {2000}, month = {may}, publisher = {{ACM}}, author = {Martin Grohe}, title = {Isomorphism testing for embeddable graphs through definability}, booktitle = {Proceedings of the thirty-second annual {ACM} symposium on Theory of computing} }