Towards Skolemize Clauses Binding for Reasoning in Inference Engine | IEEE Conference Publication | IEEE Xplore