TY  - RPRT
TI  - LTLf satisfiability checking
AU  - Jianwen Li
AU  - Lijun Zhang
AU  - Geguang Pu
AU  - Moshe Y. Vardi
AU  - Jifeng He
PY  - 2014
UR  - https://arxiv.org/abs/1403.1666
ID  - 1403.1666
ER  -