@article{VSchuppan-ActaInformatica-2015,
  author  = {Viktor Schuppan},
  title   = {Extracting Unsatisfiable Cores for LTL via Temporal Resolution},
  journal = {Acta Informatica},
  volume  = {53},
  number  = {3},
  year    = {2016},
  pages   = {247-299},
  doi     = {10.1007/s00236-015-0242-1},
  ee      = {http://dx.doi.org/10.1007/s00236-015-0242-1},
}