@Article{LMH16,
    Author       = "Litak, T. and Mikul{\'a}s, S. and Hidders, J.",
    Year         = "2016",
    Title        = "{Relational Lattices: From Databases to Universal Algebra}",
    Journal      = "Journal of Logical and Algebraic Methods in Programming",
    Volume       = "85",
    Number       = "4",
    Pages        = "540-573",
    Comment      = "TPTPRef"
}