1. Lecture Notes in Computer Science;A. Aiken,1994
2. Aiken, A., Kozen, D., Wimmers, E.L.: Decidability of systems of set constraints with negative constraints. Information and Computation 122(1), 30–44 (1995)
3. Lecture Notes in Artificial Intelligence;F. Baader,2001
4. Baader, F., Narendran, P.: Unification of concept terms in description logic. Journal of Symbolic Computation 31, 277–305 (2001)
5. Baader, F., Okhotin, A.: On Language Equations with One-sided Concatenation., LTCS-Report LTCS-06-01, Chair for Automata Theory, Institute for Theoretical Computer Science, TU Dresden, A short version has been published in the Proceedings of the 20th International Workshop on Unification, UNIF 2006 (2006),
http://lat.inf.tu-dresden.de/research/reports.html