@article{Vorobyov_2004,
    doi = {10.1016/j.ic.2004.02.002},
    url = {https://doi.org/10.1016%2Fj.ic.2004.02.002},
    year = {2004},
    month = {may},
    publisher = {Elsevier {BV}},
    volume = {190},
    number = {2},
    pages = {196--219},
    author = {Sergei Vorobyov},
    title = {The most nonelementary theory},
    journal = {Information and Computation}
}

@article{Vorobyov_2004, doi = {10.1016/j.ic.2004.02.002}, url = {https://doi.org/10.1016%2Fj.ic.2004.02.002}, year = {2004}, month = {may}, publisher = {Elsevier {BV}}, volume = {190}, number = {2}, pages = {196--219}, author = {Sergei Vorobyov}, title = {The most nonelementary theory}, journal = {Information and Computation} }