Neural-Symbolic Learning Systems door Artur S. D'Avila Garcez, Professor Dov M. Gabbay & Krysia B. Broda