Alex Kean The approximation of implicates and explanations. 97-128 1993 9 Int. J. Approx. Reasoning 2 http://dx.doi.org/10.1016/0888-613X(93)90015-6 db/journals/ijar/ijar9.html#Kean93