Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski. - Kakas, Antonis C. (Springer, 2002)