@InProceedings{Podelski:SAS05-268,
  author =       "Andreas Podelski and Thomas Wies",
  title =        "Boolean Heaps",
  year =         "2005",
  pages =        "268--283",
  ee =           "http://dx.doi.org/10.1007/11547662_19",
  editor =       "Chris Hankin and Igor Siveroni",
  booktitle =    "Static Analysis, 12th International Symposium, {SAS}
                 2005, London, {UK}, September 7--9, 2005, Proceedings",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "3672",
  ISBN =         "3-540-28584-9",
}