Etalle - Logic Based Program Synthesis and Transformation 14th Inter - X555z

Logic Based Program Synthesis and Transformation: 15th International Symposium,

Logic Based Program Synthesis And Transformation : 15th International Symposi...

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

Hanus - Logic-Based Program Synthesis and Transformation 18th Interna - X555z

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

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

Falaschi - Logic-Based Program Synthesis and Transformation 25th Int - X555z