A data structure for lattice representation (1997)

by M Talamo, P Vocca
Venue:Theor. Comput. Sci