SMS versenden: Practical aspects of declarative languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, proceedings / Manuel Carro, Ricardo Peña (eds.).