A quantitative approach to logical inference. Decision Support Systems, 4:4o 69 (1988)

by J N Hooker