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

Logic-Based Program Synthesis and Transformation: 28th International

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

Logic Based Program Synthesis and Transformation: 13th International Symposium

Logic-Based Program Synthesis and Transformation: 32nd International Symposium,

Logic-Based Program Synthesis and Transformation: 33rd International Symposium,

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

Logic-Based Program Synthesis and Transformation: 21st International Symposium,