Hunter, A; Polberg, S; (2019) A Model-based Theorem Prover for Epistemic Graphs for Argumentation. In: Kern-Isberner, G and Ognjanović, Z, (eds.) Proceedings of Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2019. Springer: Cham.