00269nas a2200097 4500000000100000000000100001008004100002260003400043100001400077245008000091 2009 d c1-3 July 2009 aVerona; Italy1 aL. Cholvy00aUsing logic to understand relations between DSmT and Dempster-Shafer theory