@phdthesis{dnb-12687,
  title = {Komplexitätstheoretische Untersuchungen zur Temporallogik},
  author = {Hubert Wagner},
  year = {1992},
  url = {http://d-nb.info/930166140},
  researchr = {https://researchr.org/publication/dnb-12687},
  cites = {0},
  citedby = {0},
  school = {Technical University of Dortmund, Germany},
}