Hassan Aït-Kaci Robert S. Boyer Patrick Lincoln Roger Nasr Efficient Implementation of Lattice Operations. 115-146 1989 11 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/59287.59293 db/journals/toplas/toplas11.html#Ait-KaciBLN89