M. Desreumaux Détection d'incohérences dans des bases de connaissances à règles de production. 53-72 1988 conf/bda/1988 BDA db/conf/bda/bda1988.html#Desreumaux88