@incollection{Lazard_1983,
    doi = {10.1007/3-540-12868-9_99},
    url = {https://doi.org/10.1007%2F3-540-12868-9_99},
    year = {1983},
    publisher = {Springer Berlin Heidelberg},
    pages = {146--156},
    author = {D. Lazard},
    title = {Gröbner bases, Gaussian elimination and resolution of systems of algebraic equations},
    booktitle = {Lecture Notes in Computer Science}
}

@incollection{Lazard_1983, doi = {10.1007/3-540-12868-9_99}, url = {https://doi.org/10.1007%2F3-540-12868-9_99}, year = {1983}, publisher = {Springer Berlin Heidelberg}, pages = {146--156}, author = {D. Lazard}, title = {Gröbner bases, Gaussian elimination and resolution of systems of algebraic equations}, booktitle = {Lecture Notes in Computer Science} }