@techreport{rakamaric-bingham-hu-06,
  author = {Zvonimir Rakamari\'c and Jesse Bingham and Alan J. Hu},
  title = {A Better Logic and Decision Procedure for Predicate
    Abstraction of Heap-Manipulating Programs},
  institution = {UBC Department of Computer Science},
  year = {2006},
  month = {January},
  number = {TR-2006-02},
}