@misc{indiciae306bfb0fb5c9,
  title = {Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism},
  author = {Alberto Pettorossi and Maurizio Proietti and Sophie Renault},
  year = {2003},
  url = {https://arxiv.org/abs/cs/0311044},
  note = {Source identifier: cs/0311044}
}