Soumitra Bose Edmund M. Clarke David E. Long Spiro Michaylov PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses conf/lics/LICS4 1989 LICS 80-89 db/conf/lics/lics89.html#BoseCLM89