Incremental Construction of Unification Algorithms in Equational Theories.

Jean-Pierre Jouannaud, Claude Kirchner, Hlne Kirchner

Browse the full ICALP paper archive.