Watson, M. 1995. A critique of a proof-theoretic account of anaphora. Proceedings of the Amsterdam Colloquium. (Dec. 1995), 669–681.