PSATO: a Distributed Propositional Prover and Its Application to Quasigroup Problems (1996)

by H Zhang, M P Bonacina, M Paola, Bonacina, J Hsiang
Venue:Journal of Symbolic Computation