Rule-Based Unification in Combined Theories and the Finite Variant Property.

Ajay Kumar Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen

Browse the full LATA paper archive.