Ricardo Rocha Fernando M. A. Silva Vítor Santos Costa Or-Parallelism within Tabling. 137-151 1999 conf/padl/1999 PADL http://link.springer.de/link/service/series/0558/bibs/1551/15510137.htm db/conf/padl/padl99.html#RochaSC99