A. Pita, F. Rodríguez, and J. Navarro. Intelligent Environments (Workshops), volume 31 of Ambient Intelligence and Smart Environments, page 170-179. IOS Press, (2022)
L. Aguirre, N. Martí-Oliet, M. Palomino, and I. Pita. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, volume 13160 of Lecture Notes in Computer Science, page 1-20. Springer, (2023)