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)
K. Al-Utaibi, A. Alsubaie, and J. Martí. Critical Infrastructure Protection, volume 466 of IFIP Advances in Information and Communication Technology, page 263-279. Springer, (2015)