Artificial intelligence in mathematics - Johnson, Jeffrey (Clarendon Pr., 1994)