@article{Grigoriev_2001,
    doi = {10.1016/s0168-0072(01)00055-0},
    url = {https://doi.org/10.1016%2Fs0168-0072%2801%2900055-0},
    year = {2001},
    month = {dec},
    publisher = {Elsevier {BV}},
    volume = {113},
    number = {1-3},
    pages = {153--160},
    author = {Dima Grigoriev and Nicolai Vorobjov},
    title = {Complexity of Null- and Positivstellensatz proofs},
    journal = {Annals of Pure and Applied Logic}
}

@article{Grigoriev_2001, doi = {10.1016/s0168-0072(01)00055-0}, url = {https://doi.org/10.1016%2Fs0168-0072%2801%2900055-0}, year = {2001}, month = {dec}, publisher = {Elsevier {BV}}, volume = {113}, number = {1-3}, pages = {153--160}, author = {Dima Grigoriev and Nicolai Vorobjov}, title = {Complexity of Null- and Positivstellensatz proofs}, journal = {Annals of Pure and Applied Logic} }