Integrasi gerilya Darul Islam/tentara Islam Indonesia (DI/TII) ke Negara Kesatuan Republik Indonesia (NKRI)