@misc{indiciaef5b6ed15d1fb,
  title = {A Productivity Checker for Logic Programming},
  author = {E. Komendantskaya and P. Johann and M. Schmidt},
  year = {2016},
  url = {https://arxiv.org/abs/1608.04415},
  note = {Source identifier: 1608.04415}
}