@misc{indiciae578958bdc5e7,
  title = {Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic},
  author = {Ekaterina Komendantskaya and Patricia Johann and Martin Schmidt},
  year = {2017},
  url = {https://arxiv.org/abs/1511.07865},
  note = {Source identifier: 1511.07865}
}