Ralph Butler Ian T. Foster Anita Jindal Ross A. Overbeek A High-Performance Parallel Theorem Prover. 649-650 1990 conf/cade/1990 CADE db/conf/cade/cade90.html#ButlerFJO90 https://doi.org/10.1007/3-540-52885-7_124 https://www.wikidata.org/entity/Q58102608