F. Baader and S. Ghilardi, Unification in modal and description logics, Logic Journal of IGPL, vol.29, issue.4, pp.705-730, 2011.
DOI : 10.1016/S0747-7171(89)80012-4
URL : http://lat.inf.tu-dresden.de/research/papers/2011/BaaderGhilardi2011.pdf

F. Baader and B. Morawska, Unification in the description logic EL (editor): Rewriting Techniques and Applications, pp.350-364, 2009.
DOI : 10.2168/lmcs-6(3:17)2010
URL : https://lmcs.episciences.org/1106/pdf

S. Babenyshev and V. Rybakov, Unification in linear temporal logic LTL, Annals of Pure and Applied Logic, vol.162, issue.12, pp.991-1000, 2011.
DOI : 10.1016/j.apal.2011.06.004
URL : https://doi.org/10.1016/j.apal.2011.06.004

P. Balbiani and T. Tinchev, Boolean logics with relations, The Journal of Logic and Algebraic Programming, vol.79, issue.8, pp.707-721, 2010.
DOI : 10.1016/j.jlap.2010.07.012
URL : https://doi.org/10.1016/j.jlap.2010.07.012

P. Balbiani, T. Tinchev, and D. Vakarelov, Modal logics for region-based theories of space, Fundamenta Informaticae, vol.81, pp.29-82, 2007.

G. Dimov and D. Vakarelov, Contact algebras and region-based theory of space: a proximity approach ? I, Fundamenta Informaticae, vol.74, pp.209-249, 2006.

G. Dimov and D. Vakarelov, Contact algebras and region-based theory of space: proximity approach ? II, Fundamenta Informaticae, vol.74, pp.251-282, 2006.

I. Düntsch and M. Winter, A representation theorem for Boolean contact algebras, Theoretical Computer Science, vol.347, issue.3, pp.498-512, 2005.
DOI : 10.1016/j.tcs.2005.06.030

C. ¸. Gencer, Description of Modal Logics Inheriting Admissible Rules for K4, Logic Journal of IGPL, vol.10, issue.4, pp.401-411, 2002.
DOI : 10.1093/jigpal/10.4.401

C. ¸. Gencer and D. De-jongh, Unifiability in extensions of K4, Logic Journal of IGPL, vol.25, issue.2, pp.159-172, 2009.
DOI : 10.1093/jigpal/jzn032
URL : http://www.illc.uva.nl/Publications/ResearchReports/PP-2007-38.text.pdf

S. Ghilardi, Abstract, The Journal of Symbolic Logic, vol.3, issue.02, pp.859-880, 1999.
DOI : 10.2307/2586506

S. Ghilardi, Best solving modal equations, Annals of Pure and Applied Logic, vol.102, issue.3, pp.183-198, 2000.
DOI : 10.1016/S0168-0072(99)00032-9
URL : https://doi.org/10.1016/s0168-0072(99)00032-9

R. Iemhoff and G. Metcalfe, Proof theory for admissible rules, Annals of Pure and Applied Logic, vol.159, issue.1-2, pp.171-186, 2009.
DOI : 10.1016/j.apal.2008.10.011
URL : https://doi.org/10.1016/j.apal.2008.10.011

E. Jerábek, Admissible Rules of Lukasiewicz Logic, Journal of Logic and Computation, vol.37, issue.5, pp.425-447, 2010.
DOI : 10.1093/logcom/exi025

V. Rybakov, A criterion for admissibility of rules in the model system S4 and the intuitionistic logic, Algebra and Logic, vol.10, issue.1, pp.369-384, 1984.
DOI : 10.1007/BF01979701

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

D. Vakarelov, Region-Based Theory of Space: Algebras of Regions, Representation Theory, and Logics, Mathematical Problems from Applied Logic. Logics for the XXIst Century. II, pp.267-348, 2007.
DOI : 10.1007/978-0-387-69245-6_6

F. Wolter and M. Zakharyaschev, Undecidability of the unification and admissibility problems for modal and description logics, ACM Transactions on Computational Logic, vol.9, issue.4, pp.1-2520, 2008.
DOI : 10.1145/1380572.1380574
URL : http://arxiv.org/pdf/cs/0609052