On a Tabling Engine That Can Exploit Or-Parallelism.

Ricardo Rocha, Fernando M. A. Silva, Vtor Santos Costa

Browse the full ICLP paper archive.