Giunchiglia, E., Tatomir, A., Stoian, M. C., & Lukasiewicz, T. (2024). CCN+: A Neuro-symbolic Framework for Deep Learning with Requirements . International Journal of Approximate Reasoning, 171, Article 109124. https://doi.org/10.1016/j.ijar.2024.109124