An AND-OR Parallel Execution System for Logic Program Evaluation.

Nam Sung Woo, Ramautar Sharma

Browse the full ICPP paper archive.