@inproceedings{jigg05,
  author    = {Himanshu Jain and
               Franjo Ivancic and
               Aarti Gupta and
               Malay K. Ganai},
  title     = {Localization and Register Sharing for Predicate Abstraction.},
  booktitle = {In Tools and Algorithms for the Construction and Analysis of
               Systems (TACAS)},
  year      = {2005},
  pages     = {397-412}
 }