Analysis, verification and transformation for declarative programming and intelligent systems essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday - Lopez-Garcia, Pedro; Gallagher, John P.; Giacobazzi, Roberto (Springer, 2023)