The Theory of Correlation Formulas and Their Application to Discourse Coherence
Wide-Coverage Semantic Analysis with Boxer