@phdthesis{it-1988,
  title = {Natural deduction systems for temporal logics},
  author = {Davide Marchignoli},
  year = {2002},
  url = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0004328},
  researchr = {https://researchr.org/publication/it-1988},
  cites = {0},
  citedby = {0},
  school = {University of Pisa, Italy},
}