Logic-based Program Synthesis and Transformation : 25th International Symposi...

Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR '

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

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

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

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

Logic Based Program Synthesis and Transformation: 13th International Symposium