@doctoralThesis{Suda_2014,
title={Resolution-based methods for linear temporal reasoning},
author={Suda, Martin},
doi={http://dx.doi.org/10.22028/D291-26627},
subtitle={Resolutionsbasierter Methoden zur linearer temporaler Beweisführung},
year={2014}
}