TY  - SER
TI  - JOURNAL OF LOGIC AND ALGEBRIC PROGRAMMING
SN  - 1567-8326
PY  - 0000///
CY  - AMSTERDAM NETHERLANDS
PB  - ELSEVIER
ER  -