@doctoralThesis{Nonnengart_1995,
title={A Resolution-Based Calculus For Temporal Logics},
author={Nonnengart, Andreas},
doi={http://dx.doi.org/10.22028/D291-25728},
year={1995}
}