Raymond J. Mooney Encouraging Experimental Results on Learning CNF. 79-92 1995 19 Machine Learning 1 db/journals/ml/ml19.html#Mooney95