Chendong Li. Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality. In Patricia M. Hill, David Scott Warren, editors, Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. Volume 5649 of Lecture Notes in Computer Science, pages 530-531, Springer, 2009. [doi]