Inner and Outer Rounding of Boolean Operations on Lattice