Deduction methodologies - Gabbay, Dov M.; Hogger, Christopher John; Robinson, John Alan (1996)