Jérôme Gensel Integrating Constraints in an Object-Based Knowledge Representation System. 67-83 1995 conf/cp/1995s Constraint Processing, Selected Papers db/conf/cp/cp1995s.html#Gensel95