@misc{indiciaed63fa2a9d6e1,
  title = {A General Framework for Automatic Termination Analysis of Logic Programs},
  author = {Nachum Dershowitz and Naomi Lindenstrauss and Yehoshua Sagiv and Alexander Serebrenik},
  year = {2000},
  url = {https://arxiv.org/abs/cs/0012008},
  note = {Source identifier: cs/0012008}
}