vor der Brück, Tim, and Hermann Helbig. “Meronymy Extraction Using An Automated Theorem Prover”. Journal for Language Technology and Computational Linguistics 25, no. 1 (July 1, 2010): 57–81. Accessed May 7, 2024. https://jlcl.org/article/view/129.