Joshi, A.K. et al. 1999. Semantic Composition for Partial Proof Trees. Proceedings of the Amsterdam Colloquium. (Dec. 1999), 157–161.