On Asymmetric Unification and the Combination Problem in Disjoint Theories.

Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen

Browse the full FOSSACS paper archive.