Computational Logic: Logic Programming and Beyond Essays in Honour of Robert A. Kowalski, Part II - Kakas, Antonis C.; Kakas, Antonis C.; Sadri, Fariba; Sadri, Fariba (Springer Berlin Heidelberg : Imprint: Springer, 2002)