@misc{indiciae3678da0e663e,
  title = {Practical Methods for Proving Termination of General Logic Programs},
  author = {E. Marchiori},
  year = {1996},
  url = {https://arxiv.org/abs/cs/9604102},
  note = {Source identifier: cs/9604102}
}