Developing a Geometric Proof Problem-Solving Support System Utilizing Card Selection. ICCE 2017.