Flávio S. Corrêa da Silva David Stuart Robertson Jane Hesketh Automated Reasoning with Uncertainties. 57-79 1992 conf/law/1992 Logic at Work db/conf/law/law1992.html#SilvaRH92