Brian Cohen The Mechanical Discovery of Certain Problem Symmetries. 119-131 1977 8 Artif. Intell. 1 db/journals/ai/ai8.html#Cohen77a