@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},
  pdf = {http://www.cs.ubc.ca/cgi-bin/tr/2005/TR-2005-19.pdf}
}