TY  - GEN
AU  - David, G, Boute, R.T.
AU  - Shriver, B.D.
AU  - 
TI  - DECLARATIVE SYSTEMS
SN  - 0444884319
U1  - 001.64 
PY  - 0000///
CY  - 
PB  - 
KW  - Parallel Processing (Electronic Computers)--Cong
KW  - Electronic Data Processing--Distributed Processing--Cong
ER  -