@misc{indiciaed71d3d617206,
  title = {Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses},
  author = {Henning Basold and Ekaterina Komendantskaya and Yue Li},
  year = {2022},
  doi = {10.1007/978-3-030-17184-1\_28},
  url = {https://arxiv.org/abs/1811.07644},
  note = {Source identifier: 1811.07644}
}