TY  - RPRT
TI  - The quasiequational theory of relational lattices, in the pure lattice signature (embeddability into relational lattices is undecidable)
AU  - Luigi Santocanale
PY  - 2017
UR  - https://arxiv.org/abs/1607.02988
ID  - 1607.02988
ER  -