@inproceedings{VSchuppan-QAPL-2013,
  author={Viktor Schuppan},
  title={Enhancing Unsatisfiable Cores for {LTL} with Information on Temporal Relevance},
  booktitle={QAPL},
  year={2013},
  pages={49-65},
  ee={http://rvg.web.cse.unsw.edu.au/eptcs/paper.cgi?QAPL2013.4},
  doi={10.4204/EPTCS.117.4},
  crossref={VS:conf/qapl/2013},
}

@proceedings{VS:conf/qapl/2013,
  editor={Luca Bortolussi and Herbert Wiklicky},
  title={Proceedings of the Eleventh International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013},
  booktitle={QAPL},
  publisher={Open Publishing Association},
  series={Electronic Proceedings in Theoretical Computer Science},
  volume={117},
  year={2013},
  ee={http://rvg.web.cse.unsw.edu.au/eptcs/content.cgi?QAPL2013},
}