Combined And-Or Parallelism on Shared Memory Multiprocessors