Strategy Parallelism in Automated Theorem Proving.

Andreas Wolf Reinhold Letz Strategy Parallelism in Automated Theorem Proving. 219-245 1999 13 IJPRAI 2 db/journals/ijprai/ijprai13.html#WolfL99