Computational Logic - Gabbay, Dov M.; Siekmann, Jörg H.; Woods, John (North-Holland, 2014)