TY  - BOOK
AU  - WARREN, D.S, MAIER, D
TI  - COMPUTING WITH LOGIC, LOGIC PROGRAMMING WITH PROTOZ
SN  - 0-8053-6681-4
U1  - 005.133 MAI'C 
PY  - 1988///
CY  - TOKYO
PB  - BENJAMIN
ER  -