@article{VSchuppan-TheoreticalComputerScience-2016,
  author  = {Viktor Schuppan},
  title   = {Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance},
  journal = {Theoretical Computer Science},
  volume  = {655, Part B},
  year    = {2016},
  pages   = {155-192},
  doi     = {10.1016/j.tcs.2016.01.014},
  ee      = {http://dx.doi.org/10.1016/j.tcs.2016.01.014},
}