Unification Modulo ACUI Plus Distributivity Axioms Siva AnantharamanPaliath NarendranMichael Rusinowitch OriginalPaper Pages: 1 - 28
Organizing Numerical Theories Using Axiomatic Type Classes Lawrence C. Paulson OriginalPaper Pages: 29 - 49