A deduction model of belief - Konolige, Kurt (Research notes in artificial intelligence, 1986)