@article {,
	title = {A tableau construction for finite linear-time temporal logic},
	journal = {arXiv preprint arXiv:1910.09339},
	year = {2019},
	author = {Huang, Samuel and Cleaveland, Rance}
}
