Practical aspects of declarative languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018 : proceedings - Calimeri, Francesco 1976-; Hamlen, Kevin; Leone, Nicola (Springer, 2018)