Fabrizio Baiardi D. M. Bella An Architectural Model for OR-Parallelism on Distributed Memory Systems. 87-98 1991 PLILP db/conf/plilp/plilp91.html#BaiardiB91 http://dx.doi.org/10.1007/3-540-54444-5_90