TY - BOOK AU - Das,subrata kumar TI - Deductive databases and logic programming SN - 0201568977 U1 - 005.115 DAS CY - Addison wesley KW - International series in logic programming ER -