“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, https://library.apsce.net/index.php/ICCE/article/view/4474.