TY - RPRT TI - Strong Equivalence for Epistemic Logic Programs Made Easy (Extended Version) AU - Wolfgang Faber AU - Michael Morak AU - Stefan Woltran PY - 2018 UR - https://arxiv.org/abs/1811.04800 ID - 1811.04800 ER -