A deduction model of belief and its logics

Book by Kurt Konolige