Gallagher, J. P., Giacobazzi, R., & Lopez-Garcia, P. (2023). Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: [E-Book] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday / edited by Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi (1st edition 2023.). Cham: Springer.

Gallagher, John P., Roberto Giacobazzi, andfavorite Pedro Lopez-Garcia. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: [E-Book] : Essays Dedicated to Manuel Hermenegildo On the Occasion of His 60th Birthday / Edited By Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi. 1st edition 2023. Cham: Springer, 2023.

Gallagher, John P., Roberto Giacobazzi, andfavorite Pedro Lopez-Garcia. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: [E-Book] : Essays Dedicated to Manuel Hermenegildo On the Occasion of His 60th Birthday / Edited By Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi. 1st edition 2023. Cham: Springer, 2023.