TY  - SER
TI  - JOURNAL OF LOGIC PROGRAMMING
SN  - 0743-1066
PY  - 0000///
CY  - AMSTERDAM 
PB  - ELSERVIER SCIENCE PUBLISHING CO.INC
ER  -