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