A Proof-Based Annotation Platform of Textual Entailment

DSpace/Manakin Repository