Boolean Filters and Prime Filters of Residual Lattices | IEEE Conference Publication | IEEE Xplore