Haym Hirsh Generalizing Version Spaces. 5-46 1994 17 Machine Learning 1 db/journals/ml/ml17.html#Hirsh94 http://dx.doi.org/10.1007/BF00993863