Hogger C J & Dov M Gabbay. (1996). Handbook of logic in artificial intelligence and logic programming (v.2: Deduction methodologies ). Oxford University Press.
Chicago Edition CitationHogger C J and Dov M Gabbay. Handbook of Logic in Artificial Intelligence and Logic Programming (v.2: Deduction Methodologies ). New York: Oxford University Press, 1996.
MLA Edition CitationHogger C J and Dov M Gabbay. Handbook of Logic in Artificial Intelligence and Logic Programming (v.2: Deduction Methodologies ). Oxford University Press, 1996.
Warning: These citations may not always be 100% accurate.