Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Adian, S.I.: The Burnside problem and identities in groups. Springer, New York (1979)
2. Albert, M.H., Lawrence, J.: Unification in varieties of groups: nilpotent varieties. Canadian Journal of Mathematics 46(6), 1135–1149 (1994)
3. Lecture Notes in Computer Science;F. Baader,1992
4. Baader, F., Siekmann, J.H.: Unification Theory. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A., Siekmann, J.H. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 2, pp. 41–125. Oxford University Press, Oxford (1994)
5. Baader, F., Snyder, W.: Unification Theory. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 446–533. Elsevier, MIT Press (2001)