TY  - SER
TI  - Journal of logic and computation
SN  - 0955-792X
PY  - 1990///-
CY  - Oxford
PB  - Oxford University Press
KW  - Logic programming
KW  - Periodicals
KW  - Logic, Symbolic and mathematical
KW  - Computational complexity
N1  - Title from cover; Also available via World Wide Web; OCLC FirstSearch Electronic Collections Online; Subscription required for access to abstracts and full text
UR  - http://www.firstsearch.oclc.org
UR  - http://www.logcom.oupjournals.org
ER  -