Deductive databases and their applications - Muhyiddin Abi Zakariyah Yahya bin Sarif al Nawawi al damasyqi al Syafi'i (Taylor and Francis, 1998)