Handbook of logic in artificial intelligence and logic programming (v.2): deduction methodologies - Hogger C J (ed.); Dov M Gabbay (ed.) (New York: Oxford University Press, 1996)
Keywords: Logic Deduction; Artificial Intelligence; Philosophy