@inproceedings{Sankaranarayanan+others/06/Efficient,
  author =       {Sriram Sankaranarayanan and Michael Colon and Henny Sipma
                 and Zohar Manna},
  title =        {Efficient Strongly Relational Polyhedral Analysis},
  booktitle =    {Verification, Model Checking, and Abstract Interpretation: 
                        $7^{th}$ International Conference, {(VMCAI)}},
  editor =       {E. Allen Emerson and Kedar S. Namjoshi},
  volume = 	 3855,
  pages =        {111--125}
  series = 	 lncs,
  address = 	 {Charleston, SC},
  month = 	 {January},
  publisher =    {Springer Verlag},
  year = 2006
}