Published in
Springer, Lecture Notes in Computer Science, p. 649-650, 1990
DOI: 10.1007/3-540-52885-7_124
Links
Tools
A High-Performance Parallel Theorem Prover.
Proceedings article published in 1990 by
Ralph Butler,
Ian T. Foster 
,
Anita Jindal,
Ross A. Overbeek
,
Anita Jindal,
Ross A. Overbeek
This paper is available in a repository.
Full text: Download
Preprint: archiving forbidden
Published version:
archiving forbidden
Data provided by 