Procedures to Investigate Injectivity of Polynomial Maps and to Compute the Inverse. - Stefania Audoly; Giuseppina Bellu; Anna Buttu; Leontina D'Angiò (Appl. Algebra Eng. Commun. Comput., 1991)