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