Can Saturation Be Parallelised?

Cite this paper

@inproceedings{Ezekiel2006CanSB, title={Can Saturation Be Parallelised?}, author={Jonathan Ezekiel and Gerald L{\"{u}ttgen and Radu Siminiceanu}, booktitle={FMICS/PDMC}, year={2006} }