This paper studies the potential (or resolvent) measures of spectrally negative Lévy processes killed on exiting (bounded or unbounded) intervals, when the underlying process is observed at the arrival epochs of an independent ...