A Method to Check Knowledge Base Consistency.

Alain Beauvieux A Method to Check Knowledge Base Consistency. 455-468 1988 conf/fsttcs/1988 FSTTCS db/conf/fsttcs/fsttcs88.html#Beauvieux88 http://dx.doi.org/10.1007/3-540-50517-2_96