Soumitra Bose Edmund M. Clarke David E. Long Spiro Michaylov PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses. 153-181 1992 8 J. Autom. Reason. 2 db/journals/jar/jar8.html#BoseCLM92 https://doi.org/10.1007/BF00244281
