A logic-based analysis of Dempster-Shafer theory
assumption-based truth maintenance system
scientific article; zbMATH DE number 4160164
scientific article