Vilém Novák: Residuated Lattice. Encyclopedia of Database Systems 2009: 2418-2419