PT XYZ merupakan salah satu perusahaan transportasi udara di Indonesia yang mengalami keterlambatan dalam penyelesaian C-check maintenance berdasarkan jadwal telah ditentukan. Indikator TAT (Turn Around Time) digunakan sebagai ukuran kinerja XYZ. Penelitian ini bertujuan untuk menentukan faktor penyebab terjadinya delay pada pesawat B737NG dan meminimalisir TAT. menggunakan metode fishbone diag...

Most known results on avoiding the occur-check are based notion of "not subject to occur-check" (NSTO). It means that unification is performed only such pairs atoms for which never succeeds in any run a nondeterministic algorithm. Here we show this requirement too strong. We how weaken it, and present some related sufficient conditions under may be safely omitted. examples proposed approach pro...