Wim Vanhoof

• 19th International Symposium on Principles and Practice of Declarative Programming
• Logic-Based Program Synthesis and Transformation