Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection. - Ulrich Furbach; Teresa Krämer; Claudia Schon (CADE, 2019)