Logic-based program synthesis and transformation 29th international symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, revised selected papers - Gabbrielli, Maurizio (Lecture notes in computer science, 2020)