Un-Skolemizing Clause Sets

William McCune. Un-Skolemizing Clause Sets. Inf. Process. Lett., 29(5):257-263, 1988.

Abstract

Abstract is missing.