Hanus - Logic-Based Program Synthesis and Transformation 18th Interna - X555z

Alpuente - Logic-Based Program Synthesis and Transformation 20th Int - X555z

Hermenegildo - Logic-Based Program Synthesis and Transformation 26th - X555z

Deville - Logic Program Synthesis and Transformation Proceedings of - X555z

Proietti - Logic-Based Program Synthesis and Transformation 24th Int - X555z

Hill - Logic Based Program Synthesis and Transformation 15th Interna - X555z

Gupta - Logic-Based Program Synthesis and Transformation 23rd Intern - X555z

Puebla - Logic-Based Program Synthesis and Transformation 16th Inter - X555z