Syamsuri, S.; Purwanto, P.; Subanji, S.; Irawati, S. Characterization of Students Formal-Proof Construction in Mathematics Learning. CST 2016, 1.