Automated Reasoning with Uncertainties (1992)

by F S Correa da Silva, D S Robertson, J Hesketh
Venue:Applied Logic Conference (Logic at Work