Abdul Kadir, R., Tengku Sembok, T. M., & Badioze Zaman, H. (2007). Towards skolemize clauses binding for reasoning in inference engine. IEEE.
Chicago Style (17th ed.) CitationAbdul Kadir, Rabiah, Tengku Mohd Tengku Sembok, and Halimah Badioze Zaman. Towards Skolemize Clauses Binding for Reasoning in Inference Engine. IEEE, 2007.
MLA (9th ed.) CitationAbdul Kadir, Rabiah, et al. Towards Skolemize Clauses Binding for Reasoning in Inference Engine. IEEE, 2007.
Warning: These citations may not always be 100% accurate.