vor der Brück, T., & Helbig, H. (2010). Meronymy Extraction Using An Automated Theorem Prover. Journal for Language Technology and Computational Linguistics, 25(1), 57–81. https://doi.org/10.21248/jlcl.25.2010.129