| Coinduction in uniform: Foundations for corecursive proof search with Horn clauses H Basold, E Komendantskaya, Y Li European Symposium on Programming, 783-813, 2019 | 22 | 2019 |
| Productive corecursion in logic programming E Komendantskaya, Y Li Theory and Practice of Logic Programming 17 (5-6), 906-923, 2017 | 21 | 2017 |
| Towards coinductive theory exploration in horn clause logic: Position paper E Komendantskaya, Y Li arXiv preprint arXiv:1809.04771, 2018 | 6 | 2018 |
| Structural Resolution with Co-inductive Loop Detection Y Li arXiv preprint arXiv:1703.08336, 2017 | 3 | 2017 |
| Coinductive Uniform Proofs E Komendantskaya, Y Li arXiv preprint arXiv:1903.07371, 2019 | 1 | 2019 |
| Models of Coinductive First-order Horn Clauses Y Li 25th Automated Reasoning Workshop, 8, 2018 | 1 | 2018 |
| Comparative Study of Search Strategies for Term-Matching and Unification Based Resolution in Prolog Y Li | 1 | 2016 |
| Coinductive Uniform Proofs: Revision of Annual Technical Report Submitted for PhD Progression, Which Has New Formulation of Sequent Rules Y Li | | 2018 |
| Implementing Unification Algorithms in Haskell Y Li | | 2015 |
| Towards Coinductive Theory Exploration in Horn Clause Logic E Komendantskaya, Y Li | | |
| Coinductive Uniform Proofs Y Li, E Komendantskaya | | |
Ekaterina KomendantskayaProfessor in Computer Science, Southampton University and Heriot-Watt University, UKVerified email at hw.ac.uk