Semantification of Identifiers in Mathematics for Better Math Information Retrieval - Schubotz, Moritz