Generating all polynomial invariants in simple loops (0)

by E Rodrı́guez-Carbonell, D Kapur
Venue:Journal of Symbolic Computation