I Putu Raka Wijaya Putra and I Nyoman Bagiastra, “PENGATURAN DAN PERTENTANGAN ASAS SISTEM PEMBUKTIAN TERBALIK”, KS, vol. 13, no. 9, pp. 2108–2119, Oct. 2025.