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 http://arxiv.org/abs/cs.LO/0308007 2003 CoRR cs.LO/0308007 db/journals/corr/corr0308.html#cs-LO-0308007 informal publication