Multiple OR-Parallel Resolution: Meta-Level Control of Parallel Logic Programs.

Petros Kefalas, Ioannis P. Vlahavas

Browse the full EuroPar paper archive.