# 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}
}