P.  Hitzler, Rayan, R., Zalewski, J., Norouzi, S. Saki, Eberhart, A., and Vasserman, E. Y., ?Deep Deductive Reasoning is a Hard Deep Learning Problem?, Neurosymbolic Artificial Intelligence, 2025.