A Logic Prover Approach to Predicting Textual Similarity

Open in new window