Bruynooghe - Logic Based Program Synthesis and Transformation 13th I - X555z

Villanueva - Logic-Based Program Synthesis and Transformation 32nd I - X555z

Glck - Logic-Based Program Synthesis and Transformation 33rd Intern - X555z

Logic-Based Program Synthesis and Transformation 20th Internation

Logic Program Synthesis and Transformation Proceedings of LOPSTR

De Angelis - Logic-Based Program Synthesis and Transformation 31st I - X555z

Logic Program Synthesis and Transformation 5th International Work

Logic Based Program Synthesis and Transformation 12th Internation