Power connector, as one kind of fittings, is used to connect power equipment to conductor, conductor to wire or wire to wire in power lines. Owing to its simple
Refutation methods based on the resolution principle aregenerally applied to a (finite) set of sentences, which must have aseries of pre-transformations (prenex