On a Tabling Engine That Can Exploit Or-Parallelism.

Ricardo Rocha Fernando M. A. Silva Vítor Santos Costa On a Tabling Engine That Can Exploit Or-Parallelism. 43-58 2001 conf/iclp/2001 ICLP http://link.springer.de/link/service/series/0558/bibs/2237/22370043.htm db/conf/iclp/iclp2001.html#RochaSC01