JOSHI, Aravind K.; KULICK, Seth; KURTONINA, Natasha. Semantic Composition for Partial Proof Trees. Proceedings of the Amsterdam Colloquium, Amsterdam, p. 157–161, 1999. Disponível em: https://platform.openjournals.nl/PAC/article/view/23409.. Acesso em: 19 apr. 2026.