@misc{indiciaea5ee4e2a8602,
  title = {Classes of Terminating Logic Programs},
  author = {Dino Pedreschi and Salvatore Ruggieri and Jan-Georg Smaus},
  year = {2002},
  url = {https://arxiv.org/abs/cs/0106050},
  note = {Source identifier: cs/0106050}
}