a.a. bakar , m.n. sulaiman , m. othman & m.h. selamat.  (2003).  a propositional satisfiability approach in mining compact rules.  - .  197-204.