An Architectural Model for OR-Parallelism on Distributed Memory Systems. - Fabrizio Baiardi; D. M. Bella (PLILP, 1991)