PARTHENON: a parallel theorem prover for nonHorn clauses | IEEE Conference Publication | IEEE Xplore