@article{2015:PPB:2839528.2839872,
    Address = {Amsterdam, The Netherlands, The Netherlands},
    File = {de-boer (0) - a - a - w.pdf},
    ISSN = {0167-6423},
    Journal = {Sci. Comput. Program.},
    Month = {November},
    Number = {P1},
    Pages = {102--118},
    Publisher = {Elsevier North-Holland, Inc.},
    Title = {It is Pointless to Point in Bounded Heaps},
    URL = {http://dx.doi.org/10.1016/j.scico.2015.06.007},
    Volume = {112},
    Year = {2015},
    acmid = {2839872},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.scico.2015.06.007},
    date-added = {2017-02-20 11:05:48 +0000},
    date-modified = {2017-02-20 11:05:48 +0000},
    issue_date = {November 2015},
    key = {{$\!\!$}},
    numpages = {17},
    doi = {10.1016/j.scico.2015.06.007}
}

@article{2015:PPB:2839528.2839872, Address = {Amsterdam, The Netherlands, The Netherlands}, File = {de-boer (0) - a - a - w.pdf}, ISSN = {0167-6423}, Journal = {Sci. Comput. Program.}, Month = {November}, Number = {P1}, Pages = {102--118}, Publisher = {Elsevier North-Holland, Inc.}, Title = {It is Pointless to Point in Bounded Heaps}, URL = {http://dx.doi.org/10.1016/j.scico.2015.06.007}, Volume = {112}, Year = {2015}, acmid = {2839872}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.scico.2015.06.007}, date-added = {2017-02-20 11:05:48 +0000}, date-modified = {2017-02-20 11:05:48 +0000}, issue_date = {November 2015}, key = {{$!!$}}, numpages = {17}, doi = {10.1016/j.scico.2015.06.007} }