Artur S. d'Avila Garcez Krysia Broda Dov M. Gabbay Symbolic knowledge extraction from trained neural networks: A sound approach. 155-207 2001 125 Artif. Intell. 1-2 db/journals/ai/ai125.html#GarcezBG01 http://dx.doi.org/10.1016/S0004-3702(00)00077-1