Skolem Functions and Equality in Automated Deduction.

William McCune

Browse the full AAAI paper archive.