@inproceedings{VanHorn:2008:FAL:1425698.1425717,
    Address = {Berlin, Heidelberg},
    Author = {Van Horn, David and Mairson, Harry G.},
    BookTitle = {Proceedings of the 15th international symposium on Static Analysis},
    File = {Flow Analysis, Linearity, and PTIME - Van Horn, Mairson (0) (0) - a - a - r.pdf},
    ISBN = {978-3-540-69163-1},
    Location = {Valencia, Spain},
    Pages = {255--269},
    Publisher = {Springer-Verlag},
    Series = {SAS '08},
    Title = {Flow Analysis, Linearity, and PTIME},
    URL = {http://dx.doi.org/10.1007/978-3-540-69166-2\_17},
    Year = {2008},
    acmid = {1425717},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-69166-2\_17},
    date-added = {2013-06-13 14:37:36 +0000},
    date-modified = {2013-06-13 14:37:36 +0000},
    file-2 = {Flow Analysis, Linearity, and PTIME - Van Horn, Mairson (1) (0) - a - a - r.pdf},
    numpages = {15},
    doi = {10.1007/978-3-540-69166-2_17}
}

@inproceedings{VanHorn:2008:FAL:1425698.1425717, Address = {Berlin, Heidelberg}, Author = {Van Horn, David and Mairson, Harry G.}, BookTitle = {Proceedings of the 15th international symposium on Static Analysis}, File = {Flow Analysis, Linearity, and PTIME - Van Horn, Mairson (0) (0) - a - a - r.pdf}, ISBN = {978-3-540-69163-1}, Location = {Valencia, Spain}, Pages = {255--269}, Publisher = {Springer-Verlag}, Series = {SAS '08}, Title = {Flow Analysis, Linearity, and PTIME}, URL = {http://dx.doi.org/10.1007/978-3-540-69166-2_17}, Year = {2008}, acmid = {1425717}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-69166-2_17}, date-added = {2013-06-13 14:37:36 +0000}, date-modified = {2013-06-13 14:37:36 +0000}, file-2 = {Flow Analysis, Linearity, and PTIME - Van Horn, Mairson (1) (0) - a - a - r.pdf}, numpages = {15}, doi = {10.1007/978-3-540-69166-2_17} }