@inproceedings{simon02two,
  author = {A. Simon and A. King and J. M. Howe},
  title = {Two {V}ariables per {L}inear {I}nequality as an {A}bstract {D}omain},
  booktitle = {Logic-Based Program Synthesis and Transformation},
  editor = {M. Leuschel},
  month = {September},
  year = 2003,
  pages = {71--89},
  series = {LNCS},
  volume = {2664},
  publisher = {Springer},
  doi = {10.1007/3-540-45013-0_7},
  address = {Madrid, Spain},
}