Joshi, A. K., Kulick, S., & Kurtonina, N. (1999). Semantic Composition for Partial Proof Trees. Proceedings of the Amsterdam Colloquium, 157-161. https://platform.openjournals.nl/PAC/article/view/23409