@InProceedings{SAS:MSRF04,
 author    = "Roman Manevich and Mooly Sagiv and G. Ramalingam and John Field",
 title     = "Partially Disjunctive Heap Abstraction",
 editor    = "Roberto Giacobazzi",
 booktitle = "Proceedings of the 11th International Symposium, SAS 2004",
 series    = "Lecture Notes in Computer Science",
 volume    = "3148",
 publisher = "Springer",
 note      = "Available at http://www.cs.tau.ac.il/$\sim$rumster/sas04.pdf",
 month     = aug,
 day       = "26--28",
 year      = 2004,
 pages     = "265--279"
}