@misc{indiciaeb421aa250fe1, title = {The quasiequational theory of relational lattices, in the pure lattice signature (embeddability into relational lattices is undecidable)}, author = {Luigi Santocanale}, year = {2017}, url = {https://arxiv.org/abs/1607.02988}, note = {Source identifier: 1607.02988} }