TY  - BOOK
AU  - Naqvi,Shamim
AU  - Isur,Shalom
TI  - A logic language for data and knowledge bases / 
U1  - 001.6424/NAQ 
PY  - 1989///
CY  - New York
PB  - Computer science press
KW  - Computers
KW  - Computer programming languages
KW  - Computer programming
ER  -