Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs.

Tobias Geibinger, Hans Tompits

Browse the full JELIA paper archive.