A resolution-based calculus for temporal logics

@inproceedings{Nonnengart1995ARC,
  title={A resolution-based calculus for temporal logics},
  author={Andreas Nonnengart},
  year={1995}
}