@inproceedings{ sosecai04,
  author = {John K. Slaney and Arnold Binas and David Price},
  url = {ecai04.pdf},
  booktitle = {Proceedings of the European Conference on Artificial Intelligence (ECAI-2004, Valencia, Spain)},
  title = {Guiding a Theorem Prover with Soft Constraints},
  opttype = {Conferences},
  year = {2004},
  pages = {221-225}
}