Armin Wolf Henry Müller Matthias Hoche Towards an Object-Oriented Modeling of Constraint Problems. 41-52 2005 conf/wlp/2005 W(C)LP db/conf/wlp/wclp2005.html#WolfMH05