TY  - RPRT
TI  - A Tableau Construction for Finite Linear-Time Temporal Logic
AU  - Samuel Huang
AU  - Rance Cleaveland
PY  - 2020
UR  - https://arxiv.org/abs/1910.09339
ID  - 1910.09339
ER  -