Sequential evaluation strategies for parallel-or and related reduction systems (1989)

by J Kennaway
Venue:Annals of Pure and Applied Logic