@inproceedings{toplas89,
    AUTHOR = {Hassan Ait-Kaci and Robert Boyer and Patrick Lincoln and and Roger Nasr},
    TITLE = {Effieient Implementation of Lattice Operations},
    BOOKTITLE = {{TOPLAS}},
    YEAR = {1989},
    MONTH = {November},
    URL = {http://www.csl.sri.com/papers/toplas89/}
}