Sequential evaluation strategies for parallel-or and related reduction systems
scientific article; zbMATH DE number 4121420