@incollection{efficient_fixpoint:94,
    Author = {Vergauwen, B. and Wauman, J. and Lewi, J.},
    BookTitle = {Static Analysis},
    Editor = {Charlier, Baudouin},
    File = {Efficient fixpoint computation - Vergauwen, Wauman, Lewi (0) (0) - a - a - b.pdf},
    ISBN = {978-3-540-58485-8},
    Keywords = {fixpoint theory},
    Pages = {314-328},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Efficient fixpoint computation},
    URL = {http://dx.doi.org/10.1007/3-540-58485-4\_49},
    Volume = {864},
    Year = {1994},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-58485-4\_49},
    date-added = {2013-05-13 16:21:12 +0000},
    date-modified = {2013-05-13 16:29:22 +0000},
    doi = {10.1007/3-540-58485-4_49}
}

@incollection{efficient_fixpoint:94, Author = {Vergauwen, B. and Wauman, J. and Lewi, J.}, BookTitle = {Static Analysis}, Editor = {Charlier, Baudouin}, File = {Efficient fixpoint computation - Vergauwen, Wauman, Lewi (0) (0) - a - a - b.pdf}, ISBN = {978-3-540-58485-8}, Keywords = {fixpoint theory}, Pages = {314-328}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Efficient fixpoint computation}, URL = {http://dx.doi.org/10.1007/3-540-58485-4_49}, Volume = {864}, Year = {1994}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-58485-4_49}, date-added = {2013-05-13 16:21:12 +0000}, date-modified = {2013-05-13 16:29:22 +0000}, doi = {10.1007/3-540-58485-4_49} }