Large-Scale cost-based abduction in full-fledged first-order predicate logic with cutting plane inference
Wide-Coverage Semantic Analysis with Boxer