A quantitative approach to logical inference. Decision Support Systems (1988)

by J N Hooker