Vilém Novák: Residuated Lattice. Encyclopedia of Database Systems (2nd ed.) 2018