@inproceedings{VSchuppan-FSEN-2009-preproceedings-preprint,
  author    = {Viktor Schuppan},
  title     = {Towards a Notion of Unsatisfiable Cores for LTL},
  pages     = {57--72},
  crossref  = {conf/fsen/2009},
}

@proceedings{conf/fsen/2009,
  editor    = {Farhad Arbab and Marjan Sirjani},
  title     = {Pre-Proceedings of the 3rd International Conference on Fundamentals of Software Engineering (FSEN'09), Kish Island, Persian Gulf, Iran, April 15-17, 2009},
  booktitle = {FSEN'09},
  publisher = {School of Computer Science, Institute for Research in Fundamental Sciences (IPM), Iran},
  year      = {2009},
}