@misc{VSchuppan-arXiv_1212.3884v1-2012,
  author={Viktor Schuppan},
  title={Extracting Unsatisfiable Cores for {LTL} via Temporal Resolution},
  year={2012},
  note={Available at \href{http://arxiv.org/abs/1212.3884v1}{{\tt arXiv:1212.3884v1 [cs.LO]}}},
}