V. Ramos-González, J. Borrego-Díaz, and F. Sancho-Caparrini, “Prototyping Logic-Based AI Services with LogicUS”, AAAI, vol. 37, no. 13, pp. 16473-16475, Jul. 2024.