I Putu Raka Wijaya Putra; I Nyoman Bagiastra. PENGATURAN DAN PERTENTANGAN ASAS SISTEM PEMBUKTIAN TERBALIK. KS 2025, 13, 2108-2119.