@misc{indiciae67f9e70e07d3,
  title = {An Effective Fixpoint Semantics for Linear Logic Programs},
  author = {Marco Bozzano and Giorgio Delzanno and Maurizio Martelli},
  year = {2001},
  url = {https://arxiv.org/abs/cs/0102025},
  note = {Source identifier: cs/0102025}
}