@article{Cai_1992,
    doi = {10.1007/bf01305232},
    url = {https://doi.org/10.1007%2Fbf01305232},
    year = {1992},
    month = {dec},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {12},
    number = {4},
    pages = {389--410},
    author = {Jin-Yi Cai and Martin Fürer and Neil Immerman},
    title = {An optimal lower bound on the number of variables for graph identification},
    journal = {Combinatorica}
}

@article{Cai_1992, doi = {10.1007/bf01305232}, url = {https://doi.org/10.1007%2Fbf01305232}, year = {1992}, month = {dec}, publisher = {Springer Science and Business Media {LLC}}, volume = {12}, number = {4}, pages = {389--410}, author = {Jin-Yi Cai and Martin Fürer and Neil Immerman}, title = {An optimal lower bound on the number of variables for graph identification}, journal = {Combinatorica} }