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

Balduccini - Logic Programming and Nonmonotonic Reasoning 14th Inter - X555z

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

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

Hermenegildo - Logic-Based Program Synthesis and Transformation 26th - 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