Rabiah Abdul Kadir, Tengku Mohd Tengku Sembok, Halimah Badioze Halimah. Towards Skolemize Clauses Binding for Reasoning in Inference Engine. In Marina L. Gavrilova, Osvaldo Gervasi, editors, Selected Papers of the Fifth International Conference on, Computational Science and its Applications, ICCSA 2007, Kuala Lumpur, Malaysia, August 26-29, 2007. pages 273-282, IEEE Computer Society, 2007. [doi]
Abstract is missing.