Deville - Logic Program Synthesis and Transformation Proceedings of - X555z

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

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

Fuchs - Logic Program Synthesis and Transformation 7th International - X555z

Gallagher - Logic Program Synthesis and Transformation 6th Internati - X555z

Logic-Based Program Synthesis and Transformation : 8th Internatio

Vidal - Logic-Based Program Synthesis and Transformation 21st Interna - X555z

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