Joshi, A.K. et al. 1999. Semantic Composition for Partial Proof Trees. Proceedings of the Amsterdam Colloquium. (Dec. 1999), 157–161. DOI:https://doi.org/10.53437/33xrt967.