vor der Brück, Tim, and Hermann Helbig. “Meronymy Extraction Using An Automated Theorem Prover”. Journal for Language Technology and Computational Linguistics, vol. 25, no. 1, July 2010, pp. 57-81, doi:10.21248/jlcl.25.2010.129.