@inproceedings{vmcai2007-rbh,
  author = {Zvonimir Rakamari\'c and Jesse Bingham and Alan J. Hu},
  title = {An Inference-Rule-Based Decision Procedure for Verification of
           Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures},
  booktitle = {Proceedings of the 8th International Conference on Verification,
               Model Checking and Abstract Interpretation (VMCAI 2007)},
  series = {Lecture Notes in Computer Science},
  volume = {4349},
  publisher = {Springer},
  editor = {Byron Cook and Andreas Podelski},
  year = {2007},
  month = {January},
  pages = {106--121},
}