A. Albano;F. Giannotti;R. Orsini;D. Pedreschi
Univ. of Pisa;Univ. of Pisa;Univ. of Pisa;Univ. of Pisa
Efficient implementation of lattice operations
ACM Transactions on Programming Languages and Systems (TOPLAS)