GraATP: A Graph Theoretic Approach for Automated Theorem Proving in Plane Geometry. - Mohammad Murtaza Mahmud; Swakkhar Shatabda; Mohammad Nurul Huda (CoRR, 2014)