A deduction model of belief (1984)

by K Konolige
Venue:SRI AI Center Tech. Note