@article{RodriguezCarbonell:Kapur:2007,
    Author = {Rodr{\'{\i}}guez-Carbonell, E. and Kapur, D.},
    File = {Generating\_all\_polynomial\_invariants\_in\_simple\_loops - u.pdf},
    Journal = {Journal of Symbolic Computation},
    Month = {apr},
    Number = {4},
    Pages = {443--476},
    Publisher = {Elsevier {BV}},
    Title = {Generating all polynomial invariants in simple loops},
    URL = {https://doi.org/10.1016\%2Fj.jsc.2007.01.002},
    Volume = {42},
    Year = {2007},
    bdsk-url-1 = {https://doi.org/10.1016\%2Fj.jsc.2007.01.002},
    bdsk-url-2 = {https://doi.org/10.1016/j.jsc.2007.01.002},
    date-added = {2021-03-29 19:47:48 +0200},
    date-modified = {2021-03-29 19:47:48 +0200},
    doi = {10.1016/j.jsc.2007.01.002}
}

@article{RodriguezCarbonell:Kapur:2007, Author = {Rodr{\'{\i}}guez-Carbonell, E. and Kapur, D.}, File = {Generating_all_polynomial_invariants_in_simple_loops - u.pdf}, Journal = {Journal of Symbolic Computation}, Month = {apr}, Number = {4}, Pages = {443--476}, Publisher = {Elsevier {BV}}, Title = {Generating all polynomial invariants in simple loops}, URL = {https://doi.org/10.1016\%2Fj.jsc.2007.01.002}, Volume = {42}, Year = {2007}, bdsk-url-1 = {https://doi.org/10.1016\%2Fj.jsc.2007.01.002}, bdsk-url-2 = {https://doi.org/10.1016/j.jsc.2007.01.002}, date-added = {2021-03-29 19:47:48 +0200}, date-modified = {2021-03-29 19:47:48 +0200}, doi = {10.1016/j.jsc.2007.01.002} }