Efficient Retrieval of Mathematical Statements.