TY - BOOK AU - JACK MINKER TI - FOUNDATIONS OF DEDUCTIVE DATABASES AND LOGIC PROGRAMMING SN - 0934613400 U1 - 006.3 MIN (MCA) PB - MORGAN KAUFMANN PUBLISHERS INC KW - COMPUTER SCIENCE ER -