Developing a Geometric Proof Problem-Solving Support System Utilizing Card Selection. (2017). International Conference on Computers in Education. http://library.apsce.net/index.php/ICCE/article/view/2233