"Using logic to understand relations between DSmT and Dempster-Shafer theory." In 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2009. Verona; Italy, 2009.