Joshi, A. K., Kulick, S., & Kurtonina, N. (1999). Semantic Composition for Partial Proof Trees. Proceedings of the Amsterdam Colloquium, 157-161. https://doi.org/10.53437/33xrt967