Logic Program Synthesis and Transformation 6th International Work

Deville - Logic Program Synthesis and Transformation Proceedings of - X555z

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

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

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

Fioravanti - Logic-Based Program Synthesis and Transformation 27th I - X555z

Proietti - Logic Program Synthesis and Transformation 5th Internatio - X555z

Mesnard - Logic-Based Program Synthesis and Transformation 28th Inte - X555z