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