cop (cargo): Highly efficient first-order connection proving
Keywords: prover|first-order|logic