The Theory of Correlation Formulas and Their Application to Discourse Coherence
Resolving Complex Cases of Definite Pronouns: The Winograd Schema Challenge