Journal of Logic Programming. Elsevier, New York.
Depuis le volume 1 (1984).
Non renouvelé en 2000 .
Sommaires et résumés disponibles sur le serveur Elsevier Science.