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

Logic-Based Program Synthesis and Transformation: 20th International Symposium,

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

Logic-Based Program Synthesis and Transformation: 17th International Symposium,

Logic-Based Program Synthesis and Transformation: 18th International Symposium,

Logic-Based Program Synthesis and Transformation: 34th International Symposium,

Hill - Logic Based Program Synthesis and Transformation 15th Interna - X555z