VOR DER BRÜCK, Tim; HELBIG, Hermann. Meronymy Extraction Using An Automated Theorem Prover. Journal for Language Technology and Computational Linguistics, [S. l.], v. 25, n. 1, p. 57–81, 2010. DOI: 10.21248/jlcl.25.2010.129. Disponível em: https://jlcl.org/article/view/129. Acesso em: 6 may. 2024.