TY  - BOOK
AU  - BOUND VOLUME
TI  - JOURNAL OF LOGIC PROGRAMMING, VOL.4,1987
SN  - NCST
U1  - 317 
PY  - 1987///
CY  - AMSTERDAM
PB  - NH
ER  -