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 March 31, 2025. https://jlcl.org/article/view/129.