Machine Learning Approach to Enhance the Design of Automated Theorem Provers. - Mahdi Khalifa; Hazem M. Raafat; Mohammed Almulla (ICONIP (2), 2012)