@INPROCEEDINGS{MFHRS:06,
  AUTHOR =       {R. Manevich and J. Field and T. A. Henzinger and G. Ramalingam and M. Sagiv},
  TITLE =        {Abstract Counterexample-based Refinement for Powerset Domains},
  BOOKTITLE =    {Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm},
  YEAR =         {2006},
  editor =       {T. Reps and M. Sagiv and J. Bauer},
  publisher =    {Springer-Verlag}
}