%0 Journal Article
%B arXiv preprint arXiv:1910.09339
%D 2019
%G eng
%T A tableau construction for finite linear-time temporal logic