Unification in a Combination of Equational Theories with Shared Constants and its Application to Primal Algebras.

Christophe Ringeissen

Browse the full LPAR paper archive.