CETP: An Automated Theorem Prover for a Fragment of Common Sense Entailment

Schlangen, David and Lascarides, Alex

, 2002
[PDF]
@techreport{Schlangen-2002-1,
  author = {Schlangen, David and Lascarides, Alex},
  publisher = {Edinburgh University},
  title = {{CETP: An Automated Theorem Prover for a Fragment of Common Sense Entailment}},
  year = {2002}
}