Joshi, A.K., Kulick, S. and Kurtonina, N. (1999) “Semantic Composition for Partial Proof Trees”, Proceedings of the Amsterdam Colloquium, pp. 157–161. Available at: https://platform.openjournals.nl/PAC/article/view/23409 (Accessed: 5 December 2025).