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

Fribourg - Logic Program Synthesis and Transformation - Meta-Programmi - X555z

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

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

Logic-Based Program Synthesis and Transformation - 9783030988685

Logic-Based Program Synthesis and Transformation - 9783642381966

Logic-Based Program Synthesis and Transformation - 9783319141244

Logic-Based Program Synthesis and Transformation - 9783642322105