@inbook{Cohen1987,
    Address = {Berlin, Heidelberg},
    Author = {Cohen, Daniel E.},
    BookTitle = {Computation Theory and Logic},
    Editor = {B{\"o}rger, Egon},
    File = {CLOSURE RELATIONS, BUCHBERGER'S ALGORITHM, AND POLYNOMIALS tN INFINITELY MANY VARIABLES - 3-540-18170-9\_156.pdf},
    ISBN = {978-3-540-47795-2},
    Pages = {78--87},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Closure relations, Buchberger's algorithm, and polynomials in infinitely many variables},
    URL = {https://doi.org/10.1007/3-540-18170-9\_156},
    Year = {1987},
    bdsk-url-1 = {https://doi.org/10.1007/3-540-18170-9\_156},
    date-added = {2022-11-17 09:17:06 +0100},
    date-modified = {2022-11-17 09:17:06 +0100},
    doi = {10.1007/3-540-18170-9_156}
}

@inbook{Cohen1987, Address = {Berlin, Heidelberg}, Author = {Cohen, Daniel E.}, BookTitle = {Computation Theory and Logic}, Editor = {B{\"o}rger, Egon}, File = {CLOSURE RELATIONS, BUCHBERGER'S ALGORITHM, AND POLYNOMIALS tN INFINITELY MANY VARIABLES - 3-540-18170-9_156.pdf}, ISBN = {978-3-540-47795-2}, Pages = {78--87}, Publisher = {Springer Berlin Heidelberg}, Title = {Closure relations, Buchberger's algorithm, and polynomials in infinitely many variables}, URL = {https://doi.org/10.1007/3-540-18170-9_156}, Year = {1987}, bdsk-url-1 = {https://doi.org/10.1007/3-540-18170-9_156}, date-added = {2022-11-17 09:17:06 +0100}, date-modified = {2022-11-17 09:17:06 +0100}, doi = {10.1007/3-540-18170-9_156} }