Gregor Erbach and
Werner Saurer. Review of Handbook of Logic in Artificial Intelligence and Logic Programming. In Artificial Intelligence Review, Vol. 14(6):615-617, 2000. google Note: Original publication: Dov M. Gabbay, Christopher J. Hogger, John Alan Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies. [Annote]
