G. Cima, M. Console, and L. Papi, “Foundations of Formal Reasoning over Knowledge Bases Combining Symbolic and Sub-Symbolic Knowledge”, AAAI, vol. 40, no. 23, pp. 18994–19002, Mar. 2026.