Query Answering with Guarded Existential Rules under Stable Model Semantics. - Hai Wan; Guohui Xiao 001; Chenglin Wang 002; Xianqiao Liu; Junhong Chen; Zhe Wang 001 (AAAI, 2020)

Solving Conditional Linear Recurrences for Program Verification: The Periodic Case. - Chenglin Wang 002; Fangzhen Lin (Proc. ACM Program. Lang., 2023)

On Polynomial Expressions with C-Finite Recurrences in Loops with Nested Nondeterministic Branches. - Chenglin Wang 002; Fangzhen Lin (CAV (1), 2024)