T. vor der Brück and H. Helbig, “Meronymy Extraction Using An Automated Theorem Prover”, JLCL, vol. 25, no. 1, pp. 57–81, Jul. 2010.