Publication
In: Moreno Falaschi (editor). 25. International Symposium on Logic-Based Program Synthesis and Transformation. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR-2015) July 13-15 Siena Italy Pages 313-330 Lecture Notes in Computer Science, (LNCS) 9527 Springer-Verlag 11/2015.