TY  - BOOK
AU  - YVES DEVILLE
TI  - LOGIC PROGRAMMING SYSTEMATIC PROGRAM DEVELOPMENT
SN  - 0201175762
U1  - 005.1             N 
PB  - ADDISON - WESLEY
KW  - COMPUTER SCIENCE
KW  - PROGRAMMING
ER  -