Towards Skolemize Clauses Binding for Reasoning in Inference Engine.

Rabiah Abdul Kadir, Tengku Mohd Tengku Sembok, Halimah Badioze Halimah

Browse the full ICCSA paper archive.