@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}, }