Ariawan, I. P. W., I. M. Candiasa, N. M. S. Mertasari, D. G. H. Divayana, and I. M. Sugiarta. “AI-Assisted Socratic Questioning for Formal Proof Competence in Plane Geometry: A Literature Review”. Jurnal Pembelajaran, Bimbingan, Dan Pengelolaan Pendidikan, vol. 7, no. 4, Oct. 2026, p. 11, doi:10.17977/um065.v7.i4.2027.11.