@inproceedings{DBLP:conf/ipmu/BruningS94,
  author = {Br{\"{u}}ning, Stefan and Schaub, Torsten},
  title = {Using Classical Theorem-Proving Techniques for Approximate Reasoning: Revised Report},
  booktitle = {{IPMU}},
  series = {Lecture Notes in Computer Science},
  volume = {945},
  pages = {389--398},
  publisher = {Springer},
  year = {1994}
}