Coreference and lexical repetition: mechanisms of discourse integration.
From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory