Jesper B. Møller: DDDLIB: A Library for Solving Quantified Difference Inequalities. CADE 2002: 129-133