Title: Logic-Based Program Synthesis and Transformation
Subjects: Logic design, Software engineering, Algorithms, Computer science, Artificial intelligence, Logic programming, Congresses