TY  - BOOK
AU  - Dahr,Michael
TI  -  Deductive databases: Theory and Applications 
SN  - 978-1850321385
AV  - QA76.63 D35 1994
U1  - 006.33 DAH 
PY  - 1997///
CY  - New York
PB  - International thomson computer press
KW  - Logic programming
KW  - Deductive databases
KW  - Petri nets
N1  - Includes bibliographical references (p. 131-136) and index; CSE
ER  -