Sequential Evaluation Strategies for Parallel-Or and Related Reduction Systems

Richard Kennaway. Sequential Evaluation Strategies for Parallel-Or and Related Reduction Systems. Annals of Pure and Applied Logic, 43(1):31-56, 1989.

Abstract

Abstract is missing.