N. Ackerman, Completeness in generalized ultrametric spaces. p-Adic Numbers Ultrametric Anal, Appl, vol.5, issue.2, pp.89-105, 2013.
DOI : 10.1134/s2070046613020015

S. Burris and H. Sankappanavar, A Course in Universal Algebra, 2012.
DOI : 10.1007/978-1-4613-8130-3

E. F. Codd, A relational model of data for large shared data banks, Communications of the ACM, vol.13, issue.6, pp.377-387, 1970.
DOI : 10.1145/362384.362685

B. A. Davey and H. A. Priestley, Introduction to Lattices and Order, 2002.
DOI : 10.1017/CBO9780511809088

T. Evans, Embeddability and the word problem. The journal of the, pp.76-80, 1953.

R. Freese, J. Je?ek, and J. Nation, Free lattices, 1995.
DOI : 10.1090/surv/042

G. Grätzer, General Lattice Theory New appendices by the author with, 1998.

R. Hammack, W. Imrich, and S. Klavzar, Handbook of Product Graphs, 2011.

R. Hirsch and I. Hodkinson, Representability is not decidable for finite relation algebras, Transactions of the American Mathematical Society, vol.353, issue.04, pp.1403-1425, 2001.
DOI : 10.1090/S0002-9947-99-02264-3

R. Hirsch, I. Hodkinson, A. Kurucz, K. ×. , and S. S5, Abstract, The Journal of Symbolic Logic, vol.34, issue.01, pp.221-234, 2002.
DOI : 10.1093/logcom/9.2.197

A. Kurucz, 15 Combining modal logics, Handbook of Modal Logic of Studies in Logic and Practical Reasoning, pp.869-924, 2007.
DOI : 10.1016/S1570-2464(07)80018-8

F. W. Lawvere, Metric spaces, generalized logic, and closed categories, Rendiconti del Seminario Matematico e Fisico di Milano, vol.43, issue.1, pp.135-166, 1973.
DOI : 10.1007/BF02924844

T. Litak, S. Mikuls, and J. Hidders, Relational lattices: From databases to universal algebra, Journal of Logical and Algebraic Methods in Programming, vol.85, issue.4, pp.540-573, 2016.
DOI : 10.1016/j.jlamp.2015.11.008
URL : http://eprints.bbk.ac.uk/13368/1/rellat-jlamp.pdf

R. Maddux, The equational theory of CA 3 is undecidable, The Journal of Symbolic Logic, vol.43, issue.02, pp.311-316, 1980.
DOI : 10.1002/malq.19750210118

R. Maddux, Relation Algebras, volume 150 of Studies in logic and the foundations of mathematics, 2006.

J. B. Nation, An approach to lattice varieties of finite height, Algebra Universalis, vol.108, issue.4, pp.521-543, 1990.
DOI : 10.1007/BF01188998

S. Priess-crampe and P. Ribemboim, Equivalence relations and spherically complete ultrametric spaces, C. R. Acad. Sci. Paris, vol.320, issue.1, pp.1187-1192, 1995.

G. Sambin, Subdirectly irreducible modal algebras and initial frames, Studia Logica, vol.62, issue.2, pp.269-282, 1999.
DOI : 10.1023/A:1026407804348

L. Santocanale, A duality for finite lattices. Preprint, available from http, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00432113

L. Santocanale, Relational Lattices via Duality, Coalgebraic Methods in Computer Science CMCS Lecture Notes in Computer Science, vol.320, issue.1, pp.195-215, 2016.
DOI : 10.1007/978-3-319-40370-0_12
URL : https://hal.archives-ouvertes.fr/hal-01279408

L. Santocanale, The quasiequational theory of relational lattices , in the pure lattice signature. Preprint, available from https, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01344299

M. Spight and V. Tropashko, Relational lattice axioms. Preprint available from http, 2008.

V. Tropashko, Relational algebra as non-distributive lattice. Preprint, available from http, 2006.