Computational Logic: Logic Programming and Beyond Essays in Honour of Robert A. Kowalski, Part I Kakas, A.C. Heftet / 2002 / Engelsk
