On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract). Erbatur, S., Kapur, D., Marshall, A. M., Meadows, C., Narendran, P., & Ringeissen, C. In Kutsia, T. & Ringeissen, C., editors, UNIF, pages 33-35, 2014.
On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract). [link]Link  On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract). [link]Paper  bibtex   

Downloads: 0