@inproceedings{VSchuppan-TIME-2013,
  author={Viktor Schuppan},
  title={Extracting Unsatisfiable Cores for {LTL} via Temporal Resolution},
  booktitle={TIME},
  year={2013},
  pages={54-61},
  ee={http://dx.doi.org/10.1109/TIME.2013.15},
  crossref={VS:conf/time/2013},
}

@proceedings{VS:conf/time/2013,
  editor={Cesar Sanchez and K. Brent Venable and Esteban Zimanyi},
  title={Proceedings of the 20th International Symposium on Temporal Representation and Reasoning, TIME 2013, Pensacola, FL, USA, September 26-28, 2013},
  booktitle={TIME},
  publisher={IEEE Computer Society},
  year={2013},
  isbn={978-0-7695-5112-8},
}