@misc{indiciaeb88256096b3d,
  title = {Correctness and completeness of logic programs},
  author = {Włodzimierz Drabent},
  year = {2015},
  doi = {10.1145/2898434},
  url = {https://arxiv.org/abs/1412.8739},
  note = {Source identifier: 1412.8739}
}