Eduardo F. Morales PAL: A Pattern-Based First-Order Inductive System. 227-252 1997 26 Machine Learning 2-3 db/journals/ml/ml26.html#Morales97