On Criteria for Or-Parallel Execution Models of Logic Programs

Gopal Gupta, Bharat Jayaraman. On Criteria for Or-Parallel Execution Models of Logic Programs. In NACLP. pages 737-756, 1990.

Abstract

Abstract is missing.