@incollection{Vorobyov_1996,
    doi = {10.1007/3-540-61511-3_91},
    url = {https://doi.org/10.1007%2F3-540-61511-3_91},
    year = {1996},
    publisher = {Springer Berlin Heidelberg},
    pages = {275--287},
    author = {Sergei Vorobyov},
    title = {An improved lower bound for the elementary theories of trees},
    booktitle = {Automated Deduction - Cade-13}
}

@incollection{Vorobyov_1996, doi = {10.1007/3-540-61511-3_91}, url = {https://doi.org/10.1007%2F3-540-61511-3_91}, year = {1996}, publisher = {Springer Berlin Heidelberg}, pages = {275--287}, author = {Sergei Vorobyov}, title = {An improved lower bound for the elementary theories of trees}, booktitle = {Automated Deduction - Cade-13} }