A decision procedure and complete axiomatization for projection temporal logic

MLA

Zhenhua Duan, et al. “A Decision Procedure and Complete Axiomatization for Projection Temporal Logic.” Theoretical Computer Science, vol. 819, June 2020, pp. 50–84. EBSCOhost, https://doi.org/10.1016/j.tcs.2017.09.026.

APA

Zhenhua Duan, Xinfeng Shu, & Hongwei Du. (2020). A decision procedure and complete axiomatization for projection temporal logic. Theoretical Computer Science, 819, 50–84. https://doi.org/10.1016/j.tcs.2017.09.026

Chicago

Zhenhua Duan, Xinfeng Shu, and Hongwei Du. 2020. “A Decision Procedure and Complete Axiomatization for Projection Temporal Logic.” Theoretical Computer Science 819 (June): 50–84. doi:10.1016/j.tcs.2017.09.026.