“PENGATURAN DAN PERTENTANGAN ASAS SISTEM PEMBUKTIAN TERBALIK”, KS, vol. 13, no. 9, pp. 2108–2119, Oct. 2025, doi: 10.24843/KS.2025.v13.i09.p16.