Model Finding Strategies in Semantically Guided Instance-based Theorem Proving.

Heng Chu, David A. Plaisted

Browse the full ISMIS paper archive.