@workingPaper{Bauer_1992,
title={An interval-based temporal logic in a multivalued setting},
author={Bauer, Mathias},
doi={http://dx.doi.org/10.22028/D291-24841},
year={1992}
}