Axel Simon Andy King Jacob M. Howe Two Variables per Linear Inequality as an Abstract Domain. 71-89 2002 conf/lopstr/2002 LOPSTR http://link.springer.de/link/service/series/0558/bibs/2664/26640071.htm db/conf/lopstr/lopstr2002.html#SimonKH02