A Deduction Model of Belief and its Logics (1984)

by K Konolige