2017. Developing a Geometric Proof Problem-Solving Support System Utilizing Card Selection. International Conference on Computers in Education. (Dec. 2017).