Local times for spectrally negative Lévy processes - Bo Li; Xiaowen Zhou (2017)