Title: Strategies for improving the efficiency of automatic theorem-proving