Details for the publication LiZPVH13.

Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi (), Jifeng He: LTL Satisfiability Checking Revisited. In 2013 20th International Symposium on Temporal Representation and Reasoning, Pensacola, FL, USA, September 26-28, 2013, pages 91-98, 2013. DOI BIB