Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe. Generating invariants for non-linear loops by linear algebraic methods. Formal Asp. Comput., 27(5-6):805-829, 2015. [doi]
@article{RebihaMM15-0, title = {Generating invariants for non-linear loops by linear algebraic methods}, author = {Rachid Rebiha and Arnaldo Vieira Moura and Nadir Matringe}, year = {2015}, doi = {10.1007/s00165-015-0333-3}, url = {http://dx.doi.org/10.1007/s00165-015-0333-3}, researchr = {https://researchr.org/publication/RebihaMM15-0}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {27}, number = {5-6}, pages = {805-829}, }