@techreport{bingham-rakamaric-05,
  author = {Jesse Bingham and Zvonimir Rakamari\'c},
  title = {A Logic and Decision Procedure for Predicate Abstraction of
    Heap-Manipulating Programs},
  institution = {UBC Department of Computer Science},
  year = {2005},
  month = {September},
  number = {TR-2005-19},
}