P. Kefalas, I. Vlahavas, “Multiple OR-Parallel Resolution: Meta-Level Control of Parallel Logic Programs”, Proc. Parallel Processing (Euro-Par '96), Bouge, P. Fraigniaud, A. Mignotte and Y. Robert (Eds.), Springer-Verlag, LNCS 1123, pp. 694-703, 1996.