@inproceedings{rodrikapurISSAC04,
  author =     {E. Rodr{\'\i}guez-Carbonell and D. Kapur},
  title =        "{Automatic Generation of  Polynomial Loop  Invariants: Algebraic Foundations}",
  booktitle = "{International Symposium on Symbolic and Algebraic Computation 2004 (ISSAC04)}",
  year = "2004",
  pages = "266-273",
  publisher = "ACM Press"
}