Splitting Epistemic Logic Programs

Re-assign community