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