Wanwei Liu, Xiaoguang Mao, Geguang Pu, Rui Wang. Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking. In 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014. pages 82-89, IEEE, 2014. [doi]