Negation as failure in explanation based generalization

 
9783896011817: Negation as failure in explanation based generalization