
Chapter
14:
Logic Programming
and
Parallel Complexity
585
77.
Shepherdson, J. [1988] Negation in Logic Programming, in Foundations of Deduc-
tive Databases and Logic Programming (J. Minker, Ed.) Morgan Kaufmann
Publishers, Los Altos, CA, 19-88.
78.
Shmueli, O. [1987] Decidability and Expressiveness Aspects of Logic Queries,
Proceedings of the 6th PODS, ACM, 237-249.
79.
Tarjan, R. E. and Vishkin, U. [1985] An Efficient Parallel Biconnectivity Algo-
rithm,
SIAMJ.
of Computing 14(4):862-874.
80.
Trum, P., and Winterstein, G. [1987] Description, Implementation and Practical
Comparison of Unification Algorithms, Fachbereit Informatik, U. Kaiserslautem ...