Bernard Robinet Knowledge Representation and Automated Reasoning. 233-245 1987 conf/wi/1987 Wissensbasierte Systeme db/conf/wi/wi1987.html#Robinet87