@article{RodriKapurJSC07,
 author = "E. Rodriguez-Carbonell, D. Kapur",
 title = "Generating All Polynomial Invariants in Simple Loops",
 journal = "Journal of Symbolic Computation",
 volume = 42,
 number = 4,
 year = 2007,
 pages = " 443--476",
}