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