The Unification Type of an Equational Theory May Depend on the Instantiation Preorder.

Franz Baader, Oliver Fernndez Gil

Browse the full FSCD paper archive.