Equational Bases for Lattice Theories.