@misc{indiciae1c87d2ba2b1e,
  title = {Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling},
  author = {Annalisa Bossi and Sandro Etalle and Sabina Rossi and Jan-Georg Smaus},
  year = {2001},
  url = {https://arxiv.org/abs/cs/0101022},
  note = {Source identifier: cs/0101022}
}