Towards Skolemize Clauses Binding for Reasoning in Inference Engine. - Rabiah Abdul Kadir; Tengku Mohd Tengku Sembok; Halimah Badioze Halimah (ICCSA Workshops, 2007)

Generating 3D Visual Expression Using Semantic Simplification Description Based on Logical Representation. - Rabiah Abdul Kadir; Tengku M. T. Sembok; Halimah Badioze Halimah (IVIC, 2009)