@inproceedings{Dolzmann_1999,
    doi = {10.1145/309831.309894},
    url = {https://doi.org/10.1145%2F309831.309894},
    year = {1999},
    month = {jul},
    publisher = {{ACM}},
    author = {Andreas Dolzmann and Thomas Sturm},
    title = {P-adic constraint solving},
    booktitle = {Proceedings of the 1999 international symposium on Symbolic and algebraic computation}
}

@inproceedings{Dolzmann_1999, doi = {10.1145/309831.309894}, url = {https://doi.org/10.1145%2F309831.309894}, year = {1999}, month = {jul}, publisher = {{ACM}}, author = {Andreas Dolzmann and Thomas Sturm}, title = {P-adic constraint solving}, booktitle = {Proceedings of the 1999 international symposium on Symbolic and algebraic computation} }