Semantically Guiding a First-Order Theorem Prover with a Soft Model. Binas, A. & Slaney, J. K. In Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI-04, San Jose, California), student abstract and poster, pages 948-949, 2004.
Semantically Guiding a First-Order Theorem Prover with a Soft Model [pdf]Paper  bibtex   1 download  

Downloads: 1