Finding Logical Consequences Using Unskolemization.

Ritu Chadha, David A. Plaisted

Browse the full ISMIS paper archive.