P89-1024 , one could use its built-in , incomplete inference algorithm , the classifier -LSB-
C96-2165 for ( 13a ) one has to assume an incomplete inference system } deg Otherwise the system
hide detail