Logic-Based Program Synthesis and Transformation 20th Internation

Logic Based Program Synthesis and Transformation 13th Internation

Logic-Based Program Synthesis and Transformation 22nd Internation

Logic-Based Program Synthesis and Transformation 21st Internation

Leuschel - Logic Based Program Synthesis and Transformation 12th Int - X555z

Logic-Based Program Synthesis and Transformation 23rd Internation

Logic Based Program Synthesis and Transformation 11th Internation

Logic Based Program Synthesis and Transformation 10th Internation