Doina Tatar Militon Frentiu Textual Entailment Recognizing by Theorem Proving Approach http://arxiv.org/abs/0805.4521 2008 CoRR abs/0805.4521 db/journals/corr/corr0805.html#abs-0805-4521 informal publication