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