@inproceedings{ softieaaai04,
  author = {Arnold Binas and John K. Slaney},
  url = {aaai04.pdf},
  booktitle = {Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI-04, San Jose, California), student abstract and poster},
  title = {Semantically Guiding a First-Order Theorem Prover with a Soft Model},
  opttype = {Conferences},
  year = {2004},
  pages = {948-949}
}