Unification in Order-Sorted Algebras with Overloading.

Alexandre Boudet

Browse the full CADE paper archive.