Determining Semantic Textual Similarity using Natural Deduction Proofs
A Tableau Prover for Natural Logic and Language