@inproceedings{Reddy_1978,
    doi = {10.1145/800133.804361},
    url = {https://doi.org/10.1145%2F800133.804361},
    year = {1978},
    publisher = {{ACM} Press},
    author = {C. R. Reddy and D. W. Loveland},
    title = {Presburger arithmetic with bounded quantifier alternation},
    booktitle = {Proceedings of the tenth annual {ACM} symposium on Theory of computing  - {STOC} {\textquotesingle}78}
}

@inproceedings{Reddy_1978, doi = {10.1145/800133.804361}, url = {https://doi.org/10.1145%2F800133.804361}, year = {1978}, publisher = {{ACM} Press}, author = {C. R. Reddy and D. W. Loveland}, title = {Presburger arithmetic with bounded quantifier alternation}, booktitle = {Proceedings of the tenth annual {ACM} symposium on Theory of computing - {STOC} {\textquotesingle}78} }