TY  - SER
TI  - The journal of logic and algebraic programming
SN  - 1567-8326
CY  - Amsterdam
PB  - Elsevier.
KW  - Logic programming
KW  - Periodicals
KW  - Computer programming
N1  - Available also by subscription via the World Wide Web
UR  - http://www.sciencedirect.com/science/journal/15678326
ER  -