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), pp. 57–81. doi: 10.21248/jlcl.25.2010.129.