@inproceedings{Brotherston:2010:UPS:1906484.1906731,
    Address = {Washington, DC, USA},
    Author = {Brotherston, James and Kanovich, Max},
    BookTitle = {Proceedings of the 2010 25th Annual IEEE Symposium on Logic in Computer Science},
    File = {Undecidability of Propositional Separation Logic and Its Neighbours - Brotherston, Kanovich (0) (0) - a - a - y.pdf},
    ISBN = {978-0-7695-4114-3},
    Keywords = {separation logic},
    Pages = {130--139},
    Publisher = {IEEE Computer Society},
    Series = {LICS '10},
    Title = {Undecidability of Propositional Separation Logic and Its Neighbours},
    URL = {http://dx.doi.org/10.1109/LICS.2010.24},
    Year = {2010},
    acmid = {1906731},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2010.24},
    date-added = {2013-01-30 17:43:11 +0000},
    date-modified = {2013-01-30 17:43:43 +0000},
    file-2 = {Undecidability of Propositional Separation Logic and Its Neighbours - Brotherston, Kanovich (1) (0) - a - a - y.pdf},
    file-3 = {Undecidability of Propositional Separation Logic and Its Neighbours - Brotherston, Kanovich (2) (0) - a - a - y.pdf},
    numpages = {10},
    doi = {10.1109/LICS.2010.24}
}

@inproceedings{Brotherston:2010:UPS:1906484.1906731, Address = {Washington, DC, USA}, Author = {Brotherston, James and Kanovich, Max}, BookTitle = {Proceedings of the 2010 25th Annual IEEE Symposium on Logic in Computer Science}, File = {Undecidability of Propositional Separation Logic and Its Neighbours - Brotherston, Kanovich (0) (0) - a - a - y.pdf}, ISBN = {978-0-7695-4114-3}, Keywords = {separation logic}, Pages = {130--139}, Publisher = {IEEE Computer Society}, Series = {LICS '10}, Title = {Undecidability of Propositional Separation Logic and Its Neighbours}, URL = {http://dx.doi.org/10.1109/LICS.2010.24}, Year = {2010}, acmid = {1906731}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2010.24}, date-added = {2013-01-30 17:43:11 +0000}, date-modified = {2013-01-30 17:43:43 +0000}, file-2 = {Undecidability of Propositional Separation Logic and Its Neighbours - Brotherston, Kanovich (1) (0) - a - a - y.pdf}, file-3 = {Undecidability of Propositional Separation Logic and Its Neighbours - Brotherston, Kanovich (2) (0) - a - a - y.pdf}, numpages = {10}, doi = {10.1109/LICS.2010.24} }