@phdthesis{dnb-13116,
  title = {A resolution-based calculus for temporal logics},
  author = {Andreas Nonnengart},
  year = {1995},
  url = {http://d-nb.info/972338292},
  researchr = {https://researchr.org/publication/dnb-13116},
  cites = {0},
  citedby = {0},
  school = {Saarland University, Saarbrücken, Germany},
}