1. Ajili, F., Kirchner, C.: A modular framework for the combination of symbolic and built-in constraints. In: Proceedings of Fourteenth International Conference on Logic Programming, Leuven, Belgium, pp. 331–345. The MIT Press, Cambridge (1997)
2. Baader, F., Ghilardi, S.: Connecting many-sorted theories. LTCS-Report LTCS-05-04, TU Dresden, Germany, See (2005),
http://lat.inf.tu-dresden.de/research/reports.html
3. Lecture Notes in Artificial Intelligence;F. Baader,2004
4. Baader, F., Lutz, C., Sturm, H., Wolter, F.: Fusions of description logics and abstract description systems. Journal of Artificial Intelligence Research 16, 1–58 (2002)
5. Lecture Notes in Artificial Intelligence;F. Baader,1997