área de pesquisa Archimedean Quadratic Modules: A Decision Procedure in Dimension Two Maria Eugênia Canto Cabral
