Large-Scale cost-based abduction in full-fledged first-order predicate logic with cutting plane inference
A Confidence Model for Syntactically-Motivated Entailment Proofs