Handbook of logic in artificial intelligence and logic programming (v.2 : deduction methodologies ) - Hogger C J (ed.); Dov M Gabbay (ed.) (Oxford University Press, 1996)