Beaver, D. The Logic of Anaphora Resolution. Proceedings of the AC 1999, 61-66.