@misc{indiciaea4c7b86e5f14,
  title = {On Modular Termination Proofs of General Logic Programs},
  author = {Annalisa Bossi and Nicoletta Cocco and Sandro Etalle and Sabina Rossi},
  year = {2001},
  doi = {10.1017/s1471068402001382},
  url = {https://arxiv.org/abs/cs/0005018},
  note = {Source identifier: cs/0005018}
}