Representing congruence lattices of lattices with partial unary operations as congruence lattices of lattices. II. Interval ordering
Keywords: Congruence lattice; Congruence-preserving extension; Boolean triple construction; Lattice tensor product;