"A High-Performance Parallel Theorem Prover."

Ralph Butler et al. (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics