@inproceedings{Chen10itvLinEqs,
  author = {Liqian Chen and Antoine Min\'e and Ji Wang and Patrick Cousot},
  title = {An Abstract Domain to Discover Interval Linear Equalities},
  booktitle = {11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2010)},
  editor = {G. Barthe and M. Hermenegildo},
  month = {January},
  year =  {2010},
  pages = {112--128},
  series = {LNCS},
  volume = {5944},
  publisher = {Springer},
  address = {Madrid,Spain},
}