On Diophantine systems coming from AC-unification of higher-order patterns: exploiting symmetries
Ana Paula Tomás, Evelyne Contejean
Departamento de Ciência de Computadores & LIACC
Faculdade de Ciências, Universidade do Porto
Rua do Campo Alegre, 823 4150 Porto, Portugal
December 1997
Keywords: Linear Diophantine Systems.