@misc{indiciaef934ca81aeac,
  title = {Category theoretic semantics for theorem proving in logic programming: embracing the laxness},
  author = {Ekaterina Komendantskaya and John Power},
  year = {2016},
  url = {https://arxiv.org/abs/1602.05400},
  note = {Source identifier: 1602.05400}
}