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