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