Yves Caseau Constraint satisfaction with an object-oriented knowledge representation language. 157-184 1994 4 Appl. Intell. 2 http://dx.doi.org/10.1007/BF00872107 db/journals/apin/apin4.html#Caseau94