Richard Kennaway. Sequential Evaluation Strategies for Parallel-Or and Related Reduction Systems. Annals of Pure and Applied Logic, 43(1):31-56, 1989.
@article{Kennaway89,
title = {Sequential Evaluation Strategies for Parallel-Or and Related Reduction Systems},
author = {Richard Kennaway},
year = {1989},
researchr = {https://researchr.org/publication/Kennaway89},
cites = {0},
citedby = {0},
journal = {Annals of Pure and Applied Logic},
volume = {43},
number = {1},
pages = {31-56},
}