Invia SMS: Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski / Antonis C. Kakas, Fariba Sadri (eds.).