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