Jäger, G. (1997) “Anaphora and Ellipsis in Type-Logical Grammar”, Proceedings of the Amsterdam Colloquium, pp. 175–180. doi:10.53437/kdjk6691.