F. Baader, S. Borgwardt, and B. Morawska, Extending unification in EL towards general TBoxes, Principles of Knowledge Representation and Reasoning, pp.568-572, 2012.

F. Baader and S. Ghilardi, Unification in modal and description logics, Logic Journal of the IGPL, vol.19, pp.705-730, 2011.

F. Baader and R. Küsters, Unification in a description logic with transitive closure of roles, Logic for Programming and Automated Reasoning, pp.217-232, 2001.

F. Baader and B. Morawska, Unification in the description logic EL, Rewriting Techniques and Applications, pp.350-364, 2009.

F. Baader and B. Morawska, SAT encoding of unification in EL, Logic for Programming, pp.97-111, 2010.

F. Baader and P. Narendran, Unification of concept terms in description logics, Journal of Symbolic Computation, vol.31, pp.277-305, 2001.

S. Babenyshev and V. Rybakov, Unification in linear temporal logic LT L, Annals of Pure and Applied Logic, vol.162, pp.991-1000, 2011.

S. Babenyshev, V. Rybakov, R. Schmidt, and D. Tishkovsky, A tableau method for checking rule admissibility in S4, Electronic Notes in Theoretical Computer Science, vol.262, pp.17-32, 2010.

P. Balbiani and Ç. Gencer, Unification in epistemic logics, Journal of Applied Non-Classical Logics
URL : https://hal.archives-ouvertes.fr/hal-02365663

P. Balbiani and T. Tinchev, Unifiability and unification types in the normal modal logic Alt 1, Advances in Modal Logic, pp.117-134, 2016.

P. Cintula and G. Metcalfe, Admissible rules in the implication-negation fragment of intuitionistic logic, Annals of Pure and Applied Logic, vol.162, pp.162-171, 2010.

W. Dzik, Unitary unification of S5 modal logics and its extensions, Bulletin of the Section of Logic, vol.32, pp.19-26, 2003.

W. Dzik, Unification Types in Logic, Wydawnicto Uniwersytetu Slaskiego, 2007.

W. Dzik, Remarks on projective unifiers, Bulletin of the Section of Logic, vol.40, pp.37-46, 2011.

H. Friedman, One hundred and two problems in mathematical logic, Journal of Symbolic Logic, vol.40, pp.113-129, 1975.

Ç. Gencer and D. De-jongh, Unifiability in extensions of K4, Logic Journal of the IGPL, vol.17, pp.159-172, 2009.

S. Ghilardi, Unification in intuitionistic logic, Journal of Symbolic Logic, vol.64, pp.859-880, 1999.

S. Ghilardi, Best solving modal equations, Annals of Pure and Applied Logic, vol.102, pp.183-198, 2000.

S. Ghilardi and L. Sacchetti, Filtering unification and most general unifiers in modal logic, Journal of Symbolic Logic, vol.69, pp.879-906, 2004.

R. Iemhoff, On the admissible rules of intuitionistic propositional logic, Journal of Symbolic Computation, vol.66, pp.281-294, 2001.

E. Jerábek, Complexity of admissible rules, Archive for Mathematical Logic, vol.46, pp.73-92, 2007.

E. Jerábek, Blending margins: the modal logic K has nullary unification type, Journal of Logic and Computation, vol.25, pp.1231-1240, 2015.

V. Rybakov, A criterion for admissibility of rules in the model system S4 and the intuitionistic logic, Algebra and Logic, vol.23, pp.369-384, 1984.

V. Rybakov, Bases of admissible rules of the logics S4 and Int, Algebra and Logic, vol.24, pp.55-68, 1985.

V. Rybakov, Admissibility of Logical Inference Rules, 1997.

V. Rybakov, Construction of an explicit basis for rules admissible in modal system S4, Mathematical Logic Quarterly, vol.47, pp.441-446, 2001.

V. Rybakov, Unification in common knowledge logics, Bulletin of the Section of Logic, vol.31, pp.207-215, 2002.

V. Rybakov, Logical consecutions in discrete linear temporal logic, Journal of Symbolic Logic, vol.70, pp.1137-1149, 2005.

V. Rybakov, Multi-modal and temporal logics with universal formula -reduction of admissibility to validity and unification, Journal of Logic and Computation, 2008.