The REDUCE-OR Process Model for Parallel Evaluation of Logic Programs

Laxmikant V. Kalé. The REDUCE-OR Process Model for Parallel Evaluation of Logic Programs. In ICLP. pages 616-632, 1987.

Abstract

Abstract is missing.