Enviar aquest missatge de text: Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, revised selected papers / edited by Gopal Gupta, Ricardo Peą.