@phdthesis{de-3780,
  title = {A resolution-based calculus for temporal logics},
  author = {Andreas Nonnengart},
  year = {2004},
  url = {http://scidok.sulb.uni-saarland.de/volltexte/2004/216/index.html},
  note = {http://d-nb.info/972338292},
  researchr = {https://researchr.org/publication/de-3780},
  cites = {0},
  citedby = {0},
  school = {Saarland University},
}