Watson, M. (1995). A critique of a proof-theoretic account of anaphora. Proceedings of the Amsterdam Colloquium, 669-681. https://platform.openjournals.nl/PAC/article/view/24663