Larry Wos Some Obstacles to the Automation of Reasoning and the Problem of Redundant Information. 81-90 1987 3 J. Autom. Reasoning 1 db/journals/jar/jar3.html#Wos87