Logic Program Synthesis and Transformation Proceedings of LOPSTR

Logic-Based Program Synthesis and Transformation 20th Internation

Logic Program Synthesis and Transformation 5th International Work

Logic Based Program Synthesis and Transformation 12th Internation

Logic-Based Program Synthesis and Transformation 22nd Internation

Logic Based Program Synthesis and Transformation 13th Internation

Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr

Logic-Based Program Synthesis and Transformation 21st Internation