@phdthesis{dnb-10840,
  title = {Zur temporalen Logik von Bäumen},
  author = {Bernd-Holger Schlingloff},
  year = {1990},
  url = {http://d-nb.info/901205257},
  researchr = {https://researchr.org/publication/dnb-10840},
  cites = {0},
  citedby = {0},
  school = {Technical University Munich, Germany},
}