Title index to volume 22

NORTH- HOLLAND

TITLE INDEX TO V O L U M E 22

Analyses of Unsatisfiability for Equational Logic Programming, 223

Strict and Nonstrict Independent and-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions, 1

Argumentation-theoretic Foundation for Logic Programming, An, 151

Type Analysis of Prolog Using Type Graphs, 179

Autoepistemic Logics as a Unifying Framework for tile Semantics of Logic Programs, 91 (Vol. 22, No. 2)

Why Untyped NonGround MetaProgramming is Not (Much of) a Problem. 47

Equivalence of Semantics for Normal Logic Programs, On the, 211

THE JOURNAL OF L O G I C P R O G R A M M I N G :c) Elsevier Science Inc., 1995 655 Avenue of the Americas, New York, NY 10010

0743-1066/95/$9.50 SSD 1 0743-1066(95)00009-9