TY  - BOOK
AU  - Thayse, Ander
TI  - FROM STANDARD LOGIC TO LOGIC PROGRAMMING
SN  - 0 471 91838 5
U1  - 001.535 
PY  - 1988///
CY  - 
PB  - John Wiley & Sons
ER  -