V. S. Subrahmanian Zerksis D. Umrigar QUANTLOG: A System for Approximate Reasoning in Inconsistent Formal Systems. 746-747 1988 conf/cade/1988 CADE db/conf/cade/cade88.html#SubrahmanianU88 http://dx.doi.org/10.1007/BFb0012878