Propositional Logic-Based and Evidence-Rich Trustworthiness Evaluation for Web Services | IEEE Conference Publication | IEEE Xplore