Roni Khardon Learning Function-Free Horn Expressions. 241-275 1999 37 Machine Learning 3 db/journals/ml/ml37.html#Khardon99a