F. Baader and P. Narendran, Unification of Concept Terms in Description Logics, Journal of Symbolic Computation, vol.31, issue.3, pp.277-305, 2001.
DOI : 10.1006/jsco.2000.0426

F. Baader and K. U. Schulz, Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures, Journal of Symbolic Computation, vol.21, issue.2, pp.211-243, 1996.
DOI : 10.1006/jsco.1996.0009

F. Baader and W. Snyder, Unification theory, Handbook of Automated Reasoning, pp.445-532, 2001.
DOI : 10.1016/b978-044450813-3/50010-2

M. Baaz and C. G. Fermüller, Resolution-based Theorem Proving for Many-valued Logics, Journal of Symbolic Computation, vol.19, issue.4, pp.353-391, 1995.
DOI : 10.1006/jsco.1995.1021

L. Bachmair and H. Ganzinger, Rewrite-based Equational Theorem Proving with Selection and Simplification, Journal of Logic and Computation, vol.4, issue.3, pp.217-247, 1994.
DOI : 10.1093/logcom/4.3.217

D. M. Clark and B. A. Davey, Natural dualities for the working algebraist. Cambridge studies in adv. math, 1998.

H. Ganzinger and V. Sofronie-stokkermans, Chaining techniques for automated theorem proving in many-valued logics, Proceedings 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000), pp.337-344
DOI : 10.1109/ISMVL.2000.848641

V. Sofronie-stokkermans, On unification for bounded distributive lattices, Proc. CADE-17, LNAI 1831, pp.465-481, 2000.

V. Sofronie-stokkermans, Resolution-based decision procedures for the positive theory of some finitely generated varieties of algebras, Proceedings. 34th International Symposium on Multiple-Valued Logic, pp.32-37, 2004.
DOI : 10.1109/ISMVL.2004.1319916

V. Sofronie-stokkermans, On unification for bounded distributive lattices, ACM Transactions on Computational Logic, vol.8, issue.2, 2007.
DOI : 10.1145/1227839.1227844
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.3876