Gergely Mezei Tihamer Levendovszky Hassan Charaf Restrictions for OCL Constraint Optimization Algorithms. 2006 5 ECEASST http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/48 db/journals/eceasst/eceasst5.html#MezeiLC06