TY - BOOK AU - Minker Jack TI - Foundations of deductive databases and logic programming U1 - 005.115 PY - 1988/// CY - Califirnia PB - Morgan Kaufmann Pub KW - Deductive database KW - Logic programming ER -