Joshi, A. K.; Kulick, S.; Kurtonina, N. Semantic Composition for Partial Proof Trees. Proceedings of the AC 1999, 157-161.