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