Algebraic foundations of belief systemsHenno, JaakData processing, compiler writing, problems of programming1989 / p. 33-43