Partial-order Checking with Unfolding for Linear Temporal Properties. - Shuo Li; Liao Zheng; Zhijun Ding (CoRR, 2023)