Dynamic Magic Sets and super-coherent answer set programs