Joshi AK, Kulick S, Kurtonina N. Semantic Composition for Partial Proof Trees. Proceedings of the AC [Internet]. 1999 Dec. 1 [cited 2026 Jan. 31];:157-61. Available from: https://platform.openjournals.nl/PAC/article/view/23409