On Uniform Equivalence of Epistemic Logic Programs

Re-assign community