Improving the time efficiency of proving theorems using a learning mechanism. - Ahmed Almonayyes; Hazem M. Raafat; Mohammed Almulla; Rana'a Alharshani (Int. J. Comput. Math., 2001)