"Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic ..."

Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics