Siregar, Maria Ulfah   Verification of a Rule-Based Expert System by Using SAL Model Checker.  In: ICICoS 2019.