Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang: Solving Dynamic Geometric Constraints Involving Inequalities. AISC 2006: 181-195