Semantification of Identifiers in Mathematics for Better Math Information Retrieval - Schubotz, Moritz; Grigorev, Alexey; Leich, Marcus; Cohl, Howard S.; Meuschke, Norman; Gipp, Bela; Youssef, Abdou S.; Markl, Volker (2016)