OR-Parallel Theorem Proving with Random Competition

@inproceedings{Ertel1992ORParallelTP,
  title={OR-Parallel Theorem Proving with Random Competition},
  author={Wolfgang Ertel},
  booktitle={LPAR},
  year={1992}
}