On the last exit times for spectrally negative L\'evy processes

Using a new approach, for spectrally negative L\'evy processes we find joint Laplace transforms involving the last exit time (from a semi-infinite interval), the value of the process at the last exit time and the associated occupation time, which generalizes some previous results.