TY - BOOK AU - Subrata Kumar Das TI - Deduction databses and logic programming SN - 0-201-56897-7 U1 - 005.74 PY - 1992/// CY - Boston,USA PB - Addison-Wesley ER -