Olivier Raiman Johan de Kleer Vijay A. Saraswat Critical Reasoning. 18-23 1993 IJCAI db/conf/ijcai/ijcai93.html#RaimanKS93