Structural Resolution with Co-inductive Loop Detection. - Yue Li 021 (CoALP-Ty, 2016)

Productive corecursion in logic programming. - Ekaterina Komendantskaya; Yue Li 021 (Theory Pract. Log. Program., 2017)

Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper. - Ekaterina Komendantskaya; Yue Li 021 (HCVS, 2018)

Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. - Henning Basold; Ekaterina Komendantskaya; Yue Li 021 (ESOP, 2019)

Coinductive Uniform Proofs. - Ekaterina Komendantskaya; Yue Li 021 (CoRR, 2019)

A proof-theoretic approach to coinduction in Horn clause logic - Yue Li 021 (2019)