2022. Analysis of CSCL for Mathematical Proof Based on the Log Data of Learners’ Verbal and Nonverbal Communications . International Conference on Computers in Education. (Nov. 2022).