Compiling OR-parallelism into AND-parallelism.

Michael Codish, Ehud Shapiro

Browse the full ICLP paper archive.