@inproceedings{Berdine:2004:DFS:2158115.2158126,
    Address = {Berlin, Heidelberg},
    Author = {Berdine, Josh and Calcagno, Cristiano and O'Hearn, Peter W.},
    BookTitle = {Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science},
    File = {A decidable fragment of separation logic - Berdine, Calcagno, O'Hearn (0) (0) - a - a - m.pdf},
    ISBN = {3-540-24058-6, 978-3-540-24058-7},
    Location = {Chennai, India},
    Pages = {97--109},
    Publisher = {Springer-Verlag},
    Series = {FSTTCS'04},
    Title = {A decidable fragment of separation logic},
    URL = {http://dx.doi.org/10.1007/978-3-540-30538-5\_9},
    Year = {2004},
    acmid = {2158126},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-30538-5\_9},
    date-added = {2013-01-30 17:42:32 +0000},
    date-modified = {2013-01-30 17:42:32 +0000},
    numpages = {13},
    doi = {10.1007/978-3-540-30538-5_9}
}

@inproceedings{Berdine:2004:DFS:2158115.2158126, Address = {Berlin, Heidelberg}, Author = {Berdine, Josh and Calcagno, Cristiano and O'Hearn, Peter W.}, BookTitle = {Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science}, File = {A decidable fragment of separation logic - Berdine, Calcagno, O'Hearn (0) (0) - a - a - m.pdf}, ISBN = {3-540-24058-6, 978-3-540-24058-7}, Location = {Chennai, India}, Pages = {97--109}, Publisher = {Springer-Verlag}, Series = {FSTTCS'04}, Title = {A decidable fragment of separation logic}, URL = {http://dx.doi.org/10.1007/978-3-540-30538-5_9}, Year = {2004}, acmid = {2158126}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-30538-5_9}, date-added = {2013-01-30 17:42:32 +0000}, date-modified = {2013-01-30 17:42:32 +0000}, numpages = {13}, doi = {10.1007/978-3-540-30538-5_9} }