Author:
Anantharaman Siva,Narendran Paliath,Rusinowitch Michael
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Anantharaman, S., Narendran, P., Rusinowitch, M.: Unification over ACUI plus Distributivity/Homomorphisms, Research Report RR-2002-11, LIFO, Université d’Orleans (Fr.), ftp://ftp-lifo.univ-orleans.fr/pub/Users/siva/RR2002-11.ps
2. Anantharaman, S., Narendran, P., Rusinowitch, M.: AC(U)ID-Unification is NEXPTIME-Decidable. To appear in Proceedings of MFCS 2003 (2003); cf. also the long version ftp://ftp-lifo.univ-orleans.fr/pub/Users/siva/RR2003-02.ps
3. Baader, F.: Unification in Commutative Theories. Journal of Symbolic Computation 8, 479–497 (1989)
4. Baader, F., Narendran, P.: Unification of Concept Terms in Description Logics. Journal of Symbolic Computation 31(3), 277–305 (2001)
5. LNAI;F. Baader,1992