On Applying Or-Parallelism and Tabling to Logic Programs.

Ricardo Rocha Fernando M. A. Silva Vítor Santos Costa On Applying Or-Parallelism and Tabling to Logic Programs. 161-205 2005 5 TPLP 1-2 http://dx.doi.org/10.1017/S1471068404002030 db/journals/tplp/tplp5.html#RochaSC05