Mark Craven Jude W. Shavlik Learning Symbolic Rules Using Artificial Neural Networks. 73-80 1993 ICML db/conf/icml/icml1993.html#CravenS93