Joshi, Aravind K., et al. “Semantic Composition for Partial Proof Trees”. Proceedings of the Amsterdam Colloquium, Dec. 1999, pp. 157-61, https://platform.openjournals.nl/PAC/article/view/23409.