Watson, M. A Critique of a Proof-Theoretic Account of Anaphora. Proceedings of the AC 1995, 669-681.