Computational Logic door Springer-Verlag & A.C. Kakas