Neural-Symbolic Cognitive Reasoning - Dov M. Gabbay, Jörg Siekmann, Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay (Springer, 2017)