Igor Shvetsov Vitaly Telerman Dmitry Ushakov NeMo+: Object-Oriented Constraint Programming Environment Based on Subdefinite Models. 534-548 1997 conf/cp/1997 CP db/conf/cp/cp97.html#ShvetsovU97