Strong Equivalence for Epistemic Logic Programs Made Easy.

Wolfgang Faber, Michael Morak, Stefan Woltran

Browse the full AAAI paper archive.