@inproceedings{Gradel:LICS:2020,
    series = {LICS ’20},
    title = {Automatic Structures: Twenty Years Later},
    url = {http://dx.doi.org/10.1145/3373718.3394734},
    doi = {10.1145/3373718.3394734},
    booktitle = {Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science},
    publisher = {ACM},
    author = {Grädel, Erich},
    year = {2020},
    month = {jul},
    pages = {21–34},
    collection = {LICS ’20},
    date-added = {2025-10-28 18:37:1 +0100}
}

@inproceedings{Gradel:LICS:2020, series = {LICS ’20}, title = {Automatic Structures: Twenty Years Later}, url = {http://dx.doi.org/10.1145/3373718.3394734}, doi = {10.1145/3373718.3394734}, booktitle = {Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science}, publisher = {ACM}, author = {Grädel, Erich}, year = {2020}, month = {jul}, pages = {21–34}, collection = {LICS ’20}, date-added = {2025-10-28 18:37:1 +0100} }